[急募] 物理で出てきた方程式で、解析関数でない解がないことを証明できないという悩みに真剣に答えてくれる人を探しています
2012-12-19 23:42:35@qnighy そのような解が存在したとしても、それが観測できる形で現れない限りは許されると思うのだが、そういう話ではない?
2012-12-19 23:46:07@taime634 あるならあるでいいんですけど あるんですか?って誰かに訊きたい気持ちで胸がいっぱいになって苦しい、これってもしかして恋
2012-12-19 23:47:08別に物理の議論が数学的に厳密でないのが一般に悪いといっているわけではなくて、どうでもいいことなのは分かってるんですけど無性に知りたいというか
2012-12-19 23:49:55ところで今のたいめ君の話を聞いて思った別の話として、滑らかな関数で微分方程式も規格化条件も満たしているなら非解析的でも割りと観測できそうな気がするけどそうでもないのかな
2012-12-19 23:51:57@qnighy 微分方程式を満たしてしまう病的な解というものが存在したとしても不思議はないけれど、少なくとも物理屋は解析関数の範疇に解があることを前提にしてしまって解いている節があるので何とも言えない。
2012-12-19 23:54:24@taime634 やっぱそんなものですかね 非解析的解があるかどうかは凄く興味あってもうどうしようもないけど、とりあえず物理的要請としては解析関数であることを使っていいならそれで一旦妥協するしかないか 時間もないし ありがとね
2012-12-19 23:58:45そういう病的な解がある段階で、既存の物理法則に誤りがあるか、その方程式がおかしいかみたいな議論になりそうである。
2012-12-20 00:03:06http://t.co/bRKsKHlG 【ラグランジアンが非連続だったら当然軌道は解析関数ではなくなるけど、多分そういう話ではない】どういうことかと思ったが古典力学の方かと思い直した
2012-12-20 00:03:55@taime634 特に数学的に正確に学んだわけではないのですが,流体力学での衝撃波は「定義」から不連続になったりするので解析的な解を物理的に許してはいけないことはあります http://t.co/JRTjvr0X
2012-12-20 00:10:17@growwings 変分はそのように設定できるのはなんとなくわかりますが、一般の偏微分方程式で解析関数でない解が存在するかと言われるとどうなんでしょう
2012-12-20 00:11:19@phasetr 物理として解析性を許してはいけない現象として相転移があることにも触れておこう.熱力学関数の特異点を相転移点と呼び,特異性から相転移を定義する
2012-12-20 00:14:08@phasetr なるほど…微分方程式を定義できる解として解析的でないものを仮定することが出来るということですか?
2012-12-20 00:14:45@phasetr 現実的には「不連続とみなしていいような急激な変化がある」だが,そういうのを数学的に検出するのがしんどいので「不連続と言い切る」というのも付け加えた方がいいか.不連続性を出すために各種理想化極限を出してくる,というのも加えておこう
2012-12-20 00:16:33@taime634 不勉強なので本当に詳しいことは分からないのですが【衝撃波の物理的(実験的)特性から解は不連続であってほしい→モデル化した微分方程式が(物理的に意味があり適切な)不連続解を許すかどうか→不連続な解がないならモデルがおかしい】位のイメージをしています
2012-12-20 00:21:25@phasetr 不連続なモデルを仮定しているのだからそのような解は存在してしかるべき、と。なんとなくイメージはわかったような気がします。ありがとうございます。
2012-12-20 00:24:19