トップページ⇒math
632コメント185KB

偏微分方程式何故何スレッド2

■ このスレッドは過去ログ倉庫に格納されています
0001|д゚)NGNG
1 名前:ラス・ヘルマンダー[] 投稿日:03/05/11 23:57
偏微分方程式について語ろう


前スレ

偏微分方程式何故何スレッド
http://science3.2ch.net/test/read.cgi/math/1052665053/
0053132人目の素数さんNGNG
初期値を決めれば解が存在するけど、原理的に正確な観測データを得ることができないから、初期値を与える時点で近似になってしまい、ベンゼンの実際の初期値を厳密に与えることができないという意味で解が無いと言ってるのか?
0054132人目の素数さんNGNG
あのみなさん、キチガイのいうことを真に受けないでください。
0055132人目の素数さんNGNG
シュレーディンガー方程式を解くという段階では、不確定性原理は何にも効いてきません。
シュレーディンガー方程式の解である波動関数を、粒子の存在確率であると解釈した時点で始めて、
不確定性原理が表れてくるんです。
波動関数を求めるというところまでは、単に偏微分方程式を解いてるだけで、
純粋に数学の問題です。
0056132人目の素数さんNGNG
外野の意見に惑わされず、純粋に数学的な観点から、
偏微分方程式に解がないということがありうるか、
ということを考えてください。
0057BlackLightOfStar ◆ifsBJ/KedU NGNG
Re:>56 付帯条件の定め方によっては、解が無いことがあるのは当然だ。
0058132人目の素数さんNGNG
>>57
話の流れを読んでください
0059BlackLightOfStar ◆ifsBJ/KedU NGNG
それだけではなくて、R^3上でのベクトル場の回転が0にならない場合、
必ずスカラーポテンシャルが存在しない、という定理もある。
(これは連立偏微分方程式だからかもしれない。)
0060132人目の素数さんNGNG
>>27の話は、実際のベンゼン分子に対応する初期値を見つけるのが難しいと言っているだけで、
そのような初期値(や他の物理的に実現可能な初期値)について解がないということを
言っているわけではありません。
こけおどしに惑わされず、数学的に考えてみてください。
0061BlackLightOfStar ◆ifsBJ/KedU NGNG
Re:>60 なんだか、それがもっともらしい。私は量子力学の専門家ではないが。
0062伊丹公理NGNG
>>56
前スレの最後のほうに書いたよ
0063132人目の素数さんNGNG
>つまり、初期値を与えると言うことが、何らかの仮定(=近似)に基づいていると言うこと
>になります。
などというのは全く意味のないことだと気づいてください。
近似解から初期値を推定したとして、それがもとの方程式に解がないということと
どういう関係があるんでしょう?

また>>27の人は、解析的に解を求められないということや、計算量の問題から数値解が
求められないと言うことと、原理的に解が存在しないということをはっきりと区別できていません。

これらも考慮に入れた上で、数学的な観点からのご意見をお願いします。
0064伊丹公理NGNG
>>56>>62
前スレではなくて
http://science3.2ch.net/test/read.cgi/math/1094176686/974
だった。
0065132人目の素数さんNGNG
まず解の定義から書きなさい。
位相の問題もからんでくる。
0066132人目の素数さんNGNG
>>65
問題の微分方程式を満たす関数、じゃいかんの?
0067132人目の素数さんNGNG
だから、満たすってのは位相がからんでくる。
0068132人目の素数さんNGNG
シュデリンガー方程式は過去方向にも適切ですか?
0069伊丹公理NGNG
>>68
双曲型だから、一見適切なようだが、
複素係数だから一概にそうとは言えない。
倣物方に近い。
0070132人目の素数さんNGNG
大体ベンゼンの方程式なるものが分からないから
数学的議論にならない。

0071質問NGNG
f を変数 x に依存するベクトル、C を定数行列とするとき、
df/dx = C f(x)
なる行列微分方程式は、C を対角化する定数行列 T による変換
f(x) = T g(x) により
dg/dx = T_-1 C T g(x)
となって、通常の微分方程式に落とすことができ、指数関数の一般解を導けます。

さて、ここで質問ですが、上記の行列微分方程式において、
C も x に依存する場合 C=C(x) は、
どのように解いたらよろしいでしょうか?
0072132人目の素数さんNGNG
>>71

行列の微分方程式で考えるのが楽。
dF/dx=C(x)F(x) の解 F(x) の各列はベクトルの方程式
df/dx=C(x)f(x) の解となる。それらの定係数一次結合
は全て解である。

D(x)=∫C(x) dx ∫は積分記号 とおくと


行列の関数 exp D(x) が dF/dx=C(x)F(x) の解となる。
0073132人目の素数さんNGNG
>>72
ありがとうございます。わかってきました。m(_ _)m
0074132人目の素数さんNGNG
>>71-72
exp D(x) の計算は定数の場合と違ってそんなに単純じゃないよ
0075132人目の素数さんNGNG
>>74 どうして? D(x) が可逆でない場合を考えないといけないから?
007672NGNG
>>75

x が単一パラメータ、即ち常微分方程式だから面倒は無い。
0077132人目の素数さんNGNG
むしろどうして常微分方程式の問題がこのスレに!?
007872NGNG
そうですね。何気なく解答しちゃった。
0079132人目の素数さんNGNG
偏微分を変数変換して常微分になることもある?
0080132人目の素数さんNGNG
とりあえず常微分を"偏微分ととらえる"ことはできるけど…

>>79
「変数」ってものについて要勉強ですな
0081132人目の素数さんNGNG
微分方程式なら、田中和永先生
変分問題の大家、日本一です。

http://variational.math.sci.waseda.ac.jp/index.php?FrontPage
http://tanaka.math.sci.waseda.ac.jp/
0082132人目の素数さんNGNG
マルチ!
変分なら別スレ立てろ。

 〜〜〜終了〜〜〜
0083132人目の素数さんNGNG
クーランヒルベルトを見れば分かると思うけど、
偏微分方程式論を大本で支えているのが変分法。
その大家が田中先生。偏微分をやるなら、当然
知っているんでしょ?
0084132人目の素数さんNGNG
あっそ
0085132人目の素数さんNGNG
Floquetの定理のベクトル波動方程式版ってあるでしょうか?
あるのであれば、その内容と証明を教えていただけませんか?
008681NGNG
田中>>>(越えられない壁)>>>加藤>>>(越えられない壁)>>>
藤田>>>(越えられない壁)>>>黒田>谷島>中村
0087132人目の素数さんNGNG
加藤>>>(越えられない壁)>>> 田中
藤田>>>(越えられない壁)>>>黒田>谷島>中村 >>>田中
0088132人目の素数さんNGNG
87=何も知らない馬鹿
0089132人目の素数さんNGNG
非線型でも解の位相考えるの?
0090132人目の素数さんNGNG
>>89
線型なら必ず位相を考えるのか?
0091132人目の素数さんNGNG
605
0092132人目の素数さんNGNG
>>90
あがが
0093リニアタン(;´Д`)ハアハア ◆O5M8Y2WWjk NGNG
おひさ。
0094132人目の素数さんNGNG
フリッツ・ジョン(シュプリンガー)はどうよ。
0095 ◆.PlCC3.14. NGNG
複素平面はグリーン関数を持たない.
0096BlackLightOfStar ◆ifsBJ/KedU NGNG
Re:>95 なんだって?
0097132人目の素数さんNGNG
お前、生きていたか?
0098132人目の素数さんNGNG
>>97
うんこの研究するからしばらく来ないっていってたじゃん。
0099BlackLightOfStar ◆ifsBJ/KedU NGNG
Re:>98 排泄物に関するレポートはまだ仕上がらないのか?
0100132人目の素数さんNGNG
>>99
おぅ、まだだ、オレは尿についてだから簡単だが、お前はウンコだから大変だろう?
0101132人目の素数さんNGNG
どなたかお力をお貸しください。

時刻tで点xにおける温度をu(x,t)とするとき、
次の1次元熱伝導方程式を満たす。

(∂^2u/∂x^2) = (1/c^2) * (∂u/∂t) (c>0)

この解で u = (e^rt) * sinπx (rは定数)の形のものを変数分離形で求めるとき、
どのように誘導するとうまく解けるのでしょうか?

u(x,t) = X(x) * T(t)と仮定したり試しているのですが、sinがうまく出てきません・・・。
0102132人目の素数さんNGNG
r=-(πc)^2 でいいんじゃあ?
0103 ◆.PlCC3.14. NGNG
>>96
持つというのなら,求めてください.
0104|д゚)NGNG
>>101

u(x,t) = T(t)X(x)が熱方程式を満たすんなら
T'(t)X(x)=c^2T(t)X''(x)
この両辺をc^2X(x)T(t)で割ると
T'(t)/(c^2T(t)) = X''(x)/X(x)
xとtは独立なんで,両辺はある定数kじゃなくちゃあならないので
T'(t) = kc^2T(t)
X''(x) = kX(x)
という二つの常微分方程式が導かれますた

後はまあ,ほら
0105132人目の素数さんNGNG
>>102
>>104

ありがとうございます。
定数kで置けば、後は常微分方程式ですね。
kが負のときに三角関数が出てくるから、解答は正負と0で場合分けして
積分定数は適当に決めておけばうまくいきそうです。

受験勉強で散々「定数kと置け」と習ったのに・・・すっかり忘れてました。
0106伊丹公理 ◆EniJeTU7ko NGNG
>>95
どう言う意味?
デルバー作用素 ∂/∂z~ のグリーン関数のこと?
だったとしたら 1/(z - w)
0107 ◆.PlCC3.14. NGNG
失礼
ラプラシアン
0108伊丹公理 ◆EniJeTU7ko NGNG
>>107
二次元ラプラシアンの基本解は (1/2)*log (x^2 + y^2).
この関数は無限遠で ∞ となるが、これに適当な全平面で調和な調和関数 u を加えて
無限遠で、 0 にしようとすると、 u は無限遠で ∞ になるが、
最大値の原理(最小値の原理)より、そのような u は存在しない。
0109伊丹公理 ◆EniJeTU7ko NGNG
>>108
訂正 u は無限遠で -∞ になるが、
0110 ◆.PlCC3.14. NGNG
>>108
正解
0111伊丹公理 ◆EniJeTU7ko NGNG
誰でも 1/(z - w) と勘違いする罠
0112132人目の素数さん05/01/22 12:05:26
はげ
0113132人目の素数さん05/01/22 16:02:39
>>109
>>111

名無し自演の後か?
0114132人目の素数さん05/02/14 23:12:58
otiruka
0115132人目の素数さん05/02/19 10:20:01
363
0116132人目の素数さん05/02/22 18:24:29
the end
0117132人目の素数さん05/02/22 19:32:49
オワ
0118132人目の素数さん05/02/22 20:05:11
堤誉志雄先生は凄い!

まず研究が凄い。
学生を数学者に育てている。堤先生の弟子で一番
偉いのは誰?ランキング機盆!
0119132人目の素数さん05/02/24 12:44:22
>>堤誉志雄先生は凄い!

SaiSaiSaiSaiSaiSaiSaiSaiSaiSaiSaiSaiSaiSai
0120132人目の素数さん05/02/24 13:02:18
CheCheCheCheCheCheCheCheCheCheCheCheCheCheCheCheCheCheCheCheCheChe
0121名無し募集中。。。05/03/03 07:22:43
>>118
弟子の自演がうざいな
0122名無し募集中。。。05/03/03 07:29:51
館山のフラワーロードだな
サンクス。調べとくよ
0123132人目の素数さん05/03/14 00:44:56
518
0124132人目の素数さん05/03/15 11:28:03
ア、ホ
0125132人目の素数さん2005/03/24(木) 20:46:26
ア、ホー
0126132人目の素数さん2005/03/26(土) 14:49:00
アーベル賞 : 津川光太郎 = Peter D. Lax
http://science3.2ch.net/test/read.cgi/math/1111320908/
0127132人目の素数さん2005/04/08(金) 02:39:17
246
0128132人目の素数さん2005/04/10(日) 20:24:40
理系大学の微分方程式という授業をとるか迷ってますが、とるべきですか??
必要性の大きさどのくらいですか??
0129132人目の素数さん2005/04/10(日) 20:26:25
あなたのバックグラウンドがわからないので答えようがありません
01301282005/04/10(日) 20:30:14
何か変な質問になるんですが、大学の授業というのは微分方程式という
単位を取得していないので就職に影響ということはないんですかね??
0131132人目の素数さん2005/04/10(日) 20:31:20
>>130
池沼発見
0132132人目の素数さん2005/04/10(日) 20:38:31
微 分 方 程 式 は 無 価 値 !

だって数学じゃないだろw
0133132人目の素数さん2005/04/10(日) 20:41:51
微分方程式論と確率論は、数学に非ず!
0134132人目の素数さん2005/04/10(日) 21:02:16
>>130
マジレスすると
ぜんぜん必要ない
0135132人目の素数さん2005/04/10(日) 21:09:19
偏った微分方程式を勉強してきたんだな。
0136132人目の素数さん2005/04/10(日) 21:12:27
>>130
就職には影響しないから、他の勉強したほうがいい
0137132人目の素数さん2005/04/10(日) 21:16:43
結構好きな分野だったけど就職にはいらんわなっ
0138BlackLightOfStar ◆ifsBJ/KedU 2005/04/10(日) 22:42:59
Re:>132 お前に近代科学は無理だ。
0139132人目の素数さん2005/04/10(日) 23:00:27
BlackLightOfStarはPDEのどこらへん研究してるの?

特定できない程度に教えてくらさい
0140132人目の素数さん2005/04/10(日) 23:59:12
>>139
博士も取れない BlackLightOfStar ◆ifsBJ/KedU は

  研 究 し て ま せ ん
0141BlackLightOfStar ◆ifsBJ/KedU 2005/04/11(月) 09:41:50
Re:>140 そんなことより早く人の脳を読む能力を悪用する奴を消せ。
01421302005/04/11(月) 22:09:47
みなさんアドバイスどうもです。。
ありがとうございました!!
0143132人目の素数さん2005/04/12(火) 17:17:40
おれ、今年、微分方程式の授業を担当してるんだけど、
教え方に悩む。どうやったら楽しいかな?・・・
0144132人目の素数さん2005/04/12(火) 20:32:33
クーラン・ヒルベルトを参考にしろ。
0145132人目の素数さん2005/04/30(土) 11:22:30
462
0146132人目の素数さん2005/04/30(土) 11:32:42
合成関数の微分法についてなんですが

問、次の関数についてdz/dtを求めよ

1)z=ルート(x^2+y^2)

0147132人目の素数さん2005/04/30(土) 16:07:51
>>143
DQNなあんたが辞職してくれると、ポスドクが一人楽しい
0148132人目の素数さん2005/04/30(土) 18:17:21
tのパラメータ表示がなきゃとけん
0149132人目の素数さん2005/05/01(日) 08:44:00
dz/dt = ∂z/∂x・dx/dt + ∂z/∂y・dy/dt

なので、

dz/dt = (x・x' + y・y')/√(x^2 + y^2)

が求められている答えじゃないの?


>>147
合成関数の微分ができない学生ばっかりのクラスで
微分方程式を教える辛さがわからないのかヨ!
0150132人目の素数さん2005/05/01(日) 10:08:16
合成関数の微分は高校から消えたよ
0151132人目の素数さん2005/05/01(日) 10:14:16
いつから?
0152132人目の素数さん2005/05/01(日) 11:34:53
合成関数の微分ができない大学生ばっかりのクラスで
微積分を教える辛さがわからないのかYO!
0153132人目の素数さん2005/05/01(日) 12:46:14
積分変数の変換も高校から消えている
■ このスレッドは過去ログ倉庫に格納されています