アカウント名:
パスワード:
大砲とか鉄砲の弾の弾道計算が正確にできるようになるってこと?#飛行経路の途中で様々な条件が変動するだろうから、実際の戦闘で役に立つ程の効果が現れるかどうかは別として。
まず、「大学への数学」をやりこんでいる高校数学以外では、まずもって微分方程式に出会わないので、
>解が分かってなかったある種の微分方程式の解析解が求まった、ってことかな。以下のようなことだと思うけど、数学は門外漢なので間違ってるかも。>高校までの数学は、割と理詰めで簡単に解ける範囲の方程式しか出てこないよう調整されてるので
の最初の二行のコメントの時点で「えー」(#2161940) なのですが、「参考になる」モデが付いている(かつ、(#2161940) にー1が付いている)のは、元コメとそれをモデしたモデレータがソーカル事件なみの関係なのでしょうか?
#ソーカル事件:縮めて言えば、数学が苦手な文系論文誌に「数学的に言えば~」「群論では~」という枕詞な論文を投稿すると#なぜか受理されるという傾向を利用したピア・レビュー方式を批判した(と一般には思われてるけど、ソーカル誌はそうでなかった)事件。
#最近では、理系用語っぽい「ユニバーサルメルカトル図法」(そんな図法はない)で2chを壮大につったスレが想起される。
>数学が苦手な文系論文誌に「数学的に言えば~」「群論では~」と
そういうんじゃないね。数学の知見を騙り数学が苦手な人を騙すというよりも、科学の言葉をイメージだけで適当に援用して詩のようなものを作り合ってる分野だ、ということ。だからソーカルの指摘は相手からすると「そんなこと(科学的にはナンセンスだなんてこと)は言われなくてもわかってるよ」ってなものだったろうが、結局それをはっきり指摘することによって、それらの人文分野は何となく難解で知的な雰囲気のする意味不明の詩をつくって悦に入っていただけだと暴かれてしまった形になる。
#ソーカル事件:縮めて言えば、数学が苦手な文系論文誌に「数学的に言えば~」「群論では~」という枕詞な論文を投稿すると#なぜか受理されるという傾向を利用したピア・レビュー方式を
たとえば、最初の1行、まず持って微分方程式に出会わないというのは、どういう意味でしょうか。
言葉通りの意味です.現在の高校物理の一般的なカリキュラムでは,微分方程式を解くことはありません.
したがって,数学の授業で「ある数式を積分するこ」とはあっても,それは「微分方程式」という位置づけではないでしょう.
長文の中に一箇所、納得出来ない部分があったからって、何処がどう気に入らないのか何も言わずに「えーーーっと・・・」とだけ書いても、何のことか分からない単なる悪口にしかならないんで、そりゃマイナスモデ喰らってもしょうがないんじゃないの。唐突にソーカル事件なんて持ちだして「モデレーターはソーカル事件並み」なんてのも的はずれに思うなあ。大体「参考になる」モデレーションって査読でも何でもないんだし。
まず、微分・積分と微分方程式は違う。
高校数学IIIのカリキュラムでは積分のところに微分方程式が入っているけれど、ごくさわりの方しかない。物理に至っては公式を当てはめるだけだから、微分方程式は全く出てこないし、物理I(センター試験で使う分)に関しては微分・積分も必要ない。だたし、習う知識そのものは歴史的には微分・積分とダイレクトに結びつく問題だけれど。
「一見してシンプルな微分方程式でも、解析解は導けないのがほとんどだから、数値計算に頼るしかないんですよ」という説明するときに、一番よく使われる例だったんじゃないかな。こことか詳しい。http://spdg1.sci.shizuoka.ac.jp/kkouza93/node10.html [shizuoka.ac.jp]
高校一年生を相手にした授業で、空気抵抗がない場合(理系なら解ける)を課題に出した先生が、何か余計な事を言ったんだろうなあ。
一般人の言葉でいうと公式が発見されて、教科書にも載る可能性が高いってこと?
>高校までの数学は、割と理詰めで簡単に解ける範囲の方程式しか出てこないよう調整されてる
これは事実だと思う。
反面教師ってやつだ
本家/.記事を斜め読みしたところでは、従来は数値的に解いていた問題を解析的に解けるようになった、といったことが書かれています。
ミレニアム懸賞問題の一つが解かれた、ってことではないと思うんですが、コメント読んでもよく解らない…。
初報とおぼしき23日付の記事: http://www.thelocal.de/education/20120523-42687.html [thelocal.de]
Ray’s solutions make it possible to now calculate not only the flight path of a ball, but also predict how it will hit and bounce off a wall. Previously it had only been possible to estimate this using a computer, wrote the paper.
なので、弾道計算だけじゃなくて、弾着後の反射?も解析的に解けた?これが
数式処理システムで解こうとしても解けなかったということなのか?(今はどのくらいこの種の技術が進歩してるの?)
具体的に与えられた微分方程式の解を初等関数(+α?)の範囲で解く(つまり厳密解を見つける)というのは、結構難しいと思われます。まあ、ガロア理論の応用だと思いますが。与えられた初等関数の不定積分が初等関数の範囲で見つかるかどうかというのは、アルゴリズムがあって、数式処理システムにも(それなりに)実装されているはず。
しかし、微分方程式となると、それに比べて非常に難しくなるから、今のところ、既知の結果があるような問題しか解けないんじゃないかな。
エレファントにしか解けなかったのがエレガントに解けるようになったてこと?
私もよくわからなかったので、上にもありましたが:
http://www.reddit.com/r/worldnews/comments/u7551/teen_solves_newtons_3... [reddit.com]
あたりを見てました。まとめると (および一番の肝である式の変形を飛ばさないで書くと) 以下のように件の少年の出した解析解を逆に力の運動方程式まで戻すことでなにやってるか分かった、って話です。
速度の自乗に比例する空気抵抗を受ける (高速に移動する) 放物運動の運動方程式:
sqrt(x'' ^ 2 + (y'' + g) ^ 2) = C * (x' ^ 2 + y' ^ 2)
があります。これは見ての通り加速度であらわした式なので、これを x, y 方向にそれぞれ力であらわした:
m * x'' = -b * x' * sqrt(x' * x' + y' * y')m * y'' = -b * y' * sqrt(x' * x
今更ですが、勝手に補足。
結局解けたのはuとvの満たす微分方程式であって、x,yの満たす方程式ではないのでした。だから、x,yについての微分方程式m * x'' = -b * x' * sqrt(x' * x' + y' * y')m * y'' = -b * y' * sqrt(x' * x' + y' * y') - m * gが解けたというのは言い過ぎだと思う。結局、g / (x' * x') + a * (y' * sqrt(x' * x' + y' * y') / (x' * x') + arcsinh(abs(y'/x')))=constを解かなきゃならないんだし。もしかしたらこれ、普通に解けるのかもしらんけれど。
膨大な人員を投入して計算表を作ったり、ENIACを開発したりしていた弾道計算が今やExcel [nifty.com]で出来てしまうんですよね。
ENIACとかが使われたころの弾道計算だと, 大気圏上層まで砲弾が達しちゃうし, 砲弾の速度も超音速領域に達しているので, ニュートンの頃の弾道計算の素朴な前提は成り立たなくなっていたでしょうけど.
ニュートンは流体力学の解析もやっていて超音速流についてはニュートン流体で近似できます。
ちょっと分からないのですが, 超音速領域でのエネルギ損失については衝撃波の様な一種特異点的な物が大きな影響を与えると思うのですが, これがニュートン流体で近似できるのでしょうか?
少なくとも, 音速近辺から超音速にかけては, 単純な流体力学ではなく断熱圧縮なども伴った熱力学的な考察を加えないといけないはずです(音速がすなわち熱が伝わる速度なので, 圧縮性流体と熱/温度の関係が不可分になる). ニュートンの生きていた時代は熱/エネルギの関係さえ明確ではなく, 例えばフロギストン説 [wikipedia.org]やカロリック説 [wikipedia.org]等の混沌とした状態で, 熱力学の基本的な理論が構築されるのは, ニュートンの死後100年以上たって, カルノー [wikipedia.org]とかの先達がようやくってところですから, ニュートンがそのことについて正しく考察できていたとは考えられません. 実際に亜音速・遷音速の飛翔物体を作れたのは19世紀半ば(アームストロング砲の初速が丁度音速前後)ですから, 実験的に挙動を見ることもできませんし.
亜音速から遷音速領域についての挙動がそんなに単純なら, 世界中の優れた科学者・技術者がエリアルール [wikipedia.org]やスーパークリティカル翼 [sakura.ne.jp]で苦労していませんよね?
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
吾輩はリファレンスである。名前はまだ無い -- perlの中の人
これって (スコア:0)
大砲とか鉄砲の弾の弾道計算が正確にできるようになるってこと?
#飛行経路の途中で様々な条件が変動するだろうから、実際の戦闘で役に立つ程の効果が現れるかどうかは別として。
Re:これって (スコア:4, 参考になる)
高校までの数学は、割と理詰めで簡単に解ける範囲の方程式しか出てこないよう調整されてるので、そういうやり方で解析解(誤差無しの完全な答え)が求められてて。 大ざっぱに言うと、問題→式変形→問題→式変形・・・→答え、と言う、順に考えて行けば解ける簡単な方程式。 迷路で例えると、ゴールに近づく方向へ進んでいけば、まあ、ゴールに辿り着けるようなイメージ。
一方、世の中の役に立つ方程式はその範囲に収まらない場合が多いので、大学に行ったりするとその範囲からはみ出す分を何とかする方法を勉強する。
その方法の1つが、「こういう式は、解いたらこういう形の方程式になりがち」という先人の知恵を借りてきて、「いくつか値が未定の変数を含んだ、とりあえずの式を作る」→「検算して正しかったらそれが答え」というような身も蓋も無いやり方(高校数学も実は細かいそういうやり方の組み合わせだけど、それよりも遙かにでかいパーツでやる)。
もちろん、数学の話なので、問題→式変形→問題→式変形・・・→答え、という解き方も理屈の上では可能。 ただ、それをやろうとすると、問題→突拍子も無い式変形→問題→何故そんな事をやってるのかさっぱり分からない寄り道にしか見えない式変形・・・→答えという経路を辿ることになって、とてもじゃないけど考えが追いつかない。
「とりあえず適当に作った大ざっぱな解」があれば、「『元の方程式』と『解』が一致するかどうか?」というのを調べれば良い、と言う指針がで出来るからどうにか解ける。その途中で、大ざっぱな解を厳密解にも近づけられる。 迷路で例えると、なんでそんな明後日の方向へ歩き出すのかさっぱり分からないけど、道順が明らかなら、その道順が正しいことは調べられる、みたいなイメージ。
今回のはそういう、先人の知恵が及んでいない範囲の問題で、どういう方針で証明すれば良かったのか(ついでにホントに解があるのか)も分かってなかった。 とにかく何となく式をいじくり倒して、偶然、ゴールに辿り着けるかどうかを調べるしかやりようがなかった。 もちろん、数学センスがあれば、あれ? これゴールに繋がってるんじゃね? と、途中で気付けるので、ゴールまで偶然に頼る必要は無いけど。
今回のはそういう、こんなところに道があったんだ! という新発見。曲がりなりにもニュートン御大もチャレンジしたことはあるけど発見できずに諦めた道なので大発見。
あと、そういう問題をやっつける他の方法は、解析解を諦めて近似解にするなり、逐次的に解を求めるなり。
「t秒後にどうなる?」と聞かれたときに、「この式で計算できるよ」というのが解析解で、今回求まった分。 tがどんなにでかくても一瞬で計算できるし、さらに式変形したりとか応用も利くし。
「この式で計算できるけど、これこれの誤差が出るから」というのが近似解。 tがどんなにでかくても一瞬で計算できるけど、tがでかくなるとどんどん誤差が大きくなって信用できなくなったりとかあれこれ。
あと、「よし0秒から始めて0.01秒ずつ順に進めてt秒後まで求めよう」というやり方もある。 「誤差をこれこれ未満にしろ」という要請があった場合に、それを満たすよう求めていくようなことも出来るけど、 頑張れば頑張る程、計算量が増えて大変。
Re:これって (スコア:1, すばらしい洞察)
まず、「大学への数学」をやりこんでいる高校数学以外では、まずもって微分方程式に出会わないので、
>解が分かってなかったある種の微分方程式の解析解が求まった、ってことかな。以下のようなことだと思うけど、数学は門外漢なので間違ってるかも。
>高校までの数学は、割と理詰めで簡単に解ける範囲の方程式しか出てこないよう調整されてるので
の最初の二行のコメントの時点で「えー」(#2161940) なのですが、「参考になる」モデが付いている(かつ、(#2161940) にー1が付いている)
のは、元コメとそれをモデしたモデレータがソーカル事件なみの関係なのでしょうか?
#ソーカル事件:縮めて言えば、数学が苦手な文系論文誌に「数学的に言えば~」「群論では~」という枕詞な論文を投稿すると
#なぜか受理されるという傾向を利用したピア・レビュー方式を批判した(と一般には思われてるけど、ソーカル誌はそうでなかった)事件。
#最近では、理系用語っぽい「ユニバーサルメルカトル図法」(そんな図法はない)で2chを壮大につったスレが想起される。
Re: (スコア:0)
>数学が苦手な文系論文誌に「数学的に言えば~」「群論では~」と
そういうんじゃないね。
数学の知見を騙り数学が苦手な人を騙すというよりも、科学の言葉をイメージだけで適当に援用して詩のようなものを作り合ってる分野だ、ということ。
だからソーカルの指摘は相手からすると「そんなこと(科学的にはナンセンスだなんてこと)は言われなくてもわかってるよ」ってなものだったろうが、結局それをはっきり指摘することによって、それらの人文分野は何となく難解で知的な雰囲気のする意味不明の詩をつくって悦に入っていただけだと暴かれてしまった形になる。
Re: (スコア:0)
まず、「大学への数学」をやりこんでいる高校数学以外では、まずもって微分方程式に出会わないので、
>解が分かってなかったある種の微分方程式の解析解が求まった、ってことかな。以下のようなことだと思うけど、数学は門外漢なので間違ってるかも。
>高校までの数学は、割と理詰めで簡単に解ける範囲の方程式しか出てこないよう調整されてるので
の最初の二行のコメントの時点で「えー」(#2161940) なのですが、「参考になる」モデが付いている(かつ、(#2161940) にー1が付いている)
のは、元コメとそれをモデしたモデレータがソーカル事件なみの関係なのでしょうか?
#ソーカル事件:縮めて言えば、数学が苦手な文系論文誌に「数学的に言えば~」「群論では~」という枕詞な論文を投稿すると
#なぜか受理されるという傾向を利用したピア・レビュー方式を
Re:これって (スコア:2)
たとえば、最初の1行、まず持って微分方程式に出会わないというのは、どういう意味でしょうか。
言葉通りの意味です.現在の高校物理の一般的なカリキュラムでは,
微分方程式を解くことはありません.
したがって,数学の授業で「ある数式を積分するこ」とはあっても,
それは「微分方程式」という位置づけではないでしょう.
Re:これって (スコア:1)
長文の中に一箇所、納得出来ない部分があったからって、何処がどう気に入らないのか何も言わずに「えーーーっと・・・」とだけ書いても、何のことか分からない単なる悪口にしかならないんで、そりゃマイナスモデ喰らってもしょうがないんじゃないの。
唐突にソーカル事件なんて持ちだして「モデレーターはソーカル事件並み」なんてのも的はずれに思うなあ。
大体「参考になる」モデレーションって査読でも何でもないんだし。
Re: (スコア:0)
まず、微分・積分と微分方程式は違う。
高校数学IIIのカリキュラムでは積分のところに微分方程式が入っているけれど、ごくさわりの方しかない。物理に至っては公式を当てはめるだけだから、微分方程式は全く出てこないし、物理I(センター試験で使う分)に関しては微分・積分も必要ない。だたし、習う知識そのものは歴史的には微分・積分とダイレクトに結びつく問題だけれど。
Re:これって (スコア:1)
「一見してシンプルな微分方程式でも、解析解は導けないのが
ほとんどだから、数値計算に頼るしかないんですよ」
という説明するときに、
一番よく使われる例だったんじゃないかな。こことか詳しい。
http://spdg1.sci.shizuoka.ac.jp/kkouza93/node10.html [shizuoka.ac.jp]
高校一年生を相手にした授業で、空気抵抗がない場合(理系なら解ける)
を課題に出した先生が、何か余計な事を言ったんだろうなあ。
Re: (スコア:0)
一般人の言葉でいうと公式が発見されて、教科書にも載る可能性が高いってこと?
Re: (スコア:0)
コメントはその時の感動を思い出して書いた知ったかぶりです。
Re: (スコア:0)
>高校までの数学は、割と理詰めで簡単に解ける範囲の方程式しか出てこないよう調整されてる
これは事実だと思う。
Re: (スコア:0)
反面教師ってやつだ
Re:これって (スコア:2)
本家/.記事を斜め読みしたところでは、従来は数値的に解いていた問題を解析的に解けるようになった、といったことが書かれています。
ミレニアム懸賞問題の一つが解かれた、ってことではないと思うんですが、コメント読んでもよく解らない…。
Re: (スコア:0)
初報とおぼしき23日付の記事:
http://www.thelocal.de/education/20120523-42687.html [thelocal.de]
Ray’s solutions make it possible to now calculate not only the flight path of a ball, but also predict how it will hit and bounce off a wall. Previously it had only been possible to estimate this using a computer, wrote the paper.
なので、弾道計算だけじゃなくて、弾着後の反射?も解析的に解けた?
これが
Re: (スコア:0)
数式処理システムで解こうとしても解けなかったということなのか?(今はどのくらいこの種の技術が進歩してるの?)
Re: (スコア:0)
具体的に与えられた微分方程式の解を初等関数(+α?)の範囲で解く(つまり厳密解を見つける)というのは、結構難しいと思われます。
まあ、ガロア理論の応用だと思いますが。
与えられた初等関数の不定積分が初等関数の範囲で見つかるかどうかというのは、アルゴリズムがあって、
数式処理システムにも(それなりに)実装されているはず。
しかし、微分方程式となると、それに比べて非常に難しくなるから、今のところ、既知の結果があるような問題しか解けないんじゃないかな。
Re: (スコア:0)
エレファントにしか解けなかったのがエレガントに解けるようになったてこと?
Re: (スコア:0)
私もよくわからなかったので、上にもありましたが:
http://www.reddit.com/r/worldnews/comments/u7551/teen_solves_newtons_3... [reddit.com]
あたりを見てました。まとめると (および一番の肝である式の変形を飛ばさないで書くと) 以下のように件の少年の出した解析解を逆に力の運動方程式まで戻すことでなにやってるか分かった、って話です。
速度の自乗に比例する空気抵抗を受ける (高速に移動する) 放物運動の運動方程式:
sqrt(x'' ^ 2 + (y'' + g) ^ 2) = C * (x' ^ 2 + y' ^ 2)
があります。これは見ての通り加速度であらわした式なので、これを x, y 方向にそれぞれ力であらわした:
m * x'' = -b * x' * sqrt(x' * x' + y' * y')
m * y'' = -b * y' * sqrt(x' * x
Re: (スコア:0)
今更ですが、勝手に補足。
結局解けたのはuとvの満たす微分方程式であって、x,yの満たす方程式ではないのでした。
だから、x,yについての微分方程式
m * x'' = -b * x' * sqrt(x' * x' + y' * y')
m * y'' = -b * y' * sqrt(x' * x' + y' * y') - m * g
が解けたというのは言い過ぎだと思う。
結局、
g / (x' * x') + a * (y' * sqrt(x' * x' + y' * y') / (x' * x') + arcsinh(abs(y'/x')))=const
を解かなきゃならないんだし。もしかしたらこれ、普通に解けるのかもしらんけれど。
Re: (スコア:0)
膨大な人員を投入して計算表を作ったり、ENIACを開発したり
していた弾道計算が今やExcel [nifty.com]で出来てしまうんですよね。
Re:これって (スコア:1)
ENIACとかが使われたころの弾道計算だと, 大気圏上層まで砲弾が達しちゃうし, 砲弾の速度も超音速領域に達しているので, ニュートンの頃の弾道計算の素朴な前提は成り立たなくなっていたでしょうけど.
Re:これって (スコア:2, 参考になる)
ニュートンは流体力学の解析もやっていて超音速流については
ニュートン流体で近似できます。
Re:これって (スコア:3, 興味深い)
ちょっと分からないのですが, 超音速領域でのエネルギ損失については衝撃波の様な一種特異点的な物が大きな影響を与えると思うのですが, これがニュートン流体で近似できるのでしょうか?
少なくとも, 音速近辺から超音速にかけては, 単純な流体力学ではなく断熱圧縮なども伴った熱力学的な考察を加えないといけないはずです(音速がすなわち熱が伝わる速度なので, 圧縮性流体と熱/温度の関係が不可分になる). ニュートンの生きていた時代は熱/エネルギの関係さえ明確ではなく, 例えばフロギストン説 [wikipedia.org]やカロリック説 [wikipedia.org]等の混沌とした状態で, 熱力学の基本的な理論が構築されるのは, ニュートンの死後100年以上たって, カルノー [wikipedia.org]とかの先達がようやくってところですから, ニュートンがそのことについて正しく考察できていたとは考えられません. 実際に亜音速・遷音速の飛翔物体を作れたのは19世紀半ば(アームストロング砲の初速が丁度音速前後)ですから, 実験的に挙動を見ることもできませんし.
亜音速から遷音速領域についての挙動がそんなに単純なら, 世界中の優れた科学者・技術者がエリアルール [wikipedia.org]やスーパークリティカル翼 [sakura.ne.jp]で苦労していませんよね?