1

行列(タイトル抽象的過ぎ)

45
0

こんにちは。最近の生活が数学にむしばまれてきてるArsenicです。
さて、今回は、こちらの積分の解き方を解説していきます。
あくまで僕の解法であり、もっとスマートな解き方があったら教えていただきたい次第です。

問題

行列

I=0ex2cos(0xx00x000)dx

えぐいです。だから記事にします。

どのように討伐すべきか

おそらくですが、読者の皆様や僕が初見で思ったことは、「行列の余弦」をどのように討伐するのかということです。
悩んでいても埒が明かないので、とりあえずcosに関する式を並べてみます。(筆者はここに手惑い、twitterのほうで叫んだ)

余弦に関する有名な某展開の式

cosx=k=0(1)kx2k(2k)!

これを得た瞬間、すべてが見えました。
つまり、xに何が入ろうともこの式は成り立つワケです。
だから、「行列をブチ込む」という荒業をします。
あくまでも、行列指数関数と同じような作業をするだけです。

ガンマ関数

準備はできたので、解きましょう.
..の前に、登場する特殊関数に関して軽く触れます。
( 前の記事 でバンバン使いました。。)

みんな友達ガンマ関数

Γ(x)=0tz1etdt

解く

解くのに必要な道具が完全にそろったので、解きます。

I=0ex2cos(0xx00x000)dx
この行列をAとおく。
この時、A0=I3
A2=AA
=(0xx00x000)(0xx00x000)
=(00x2000000)
A4=O3A2k=O3(k2)
cosA=(1012x2010001)
ex2(1012x2010001)
0ex2(1012x2010001)
(0ex2dx0120x2ex200ex2dx0000ex2dx)
=(π20120x2ex20π2000π2)
I13=0x2ex2dx
x2=ux=udx=12u12du
=I13=120ueuu12du
=120u12eudu
=12Γ(12+1)
I13=14π
I=π2(1014010001)

Iに関して

上の証明で、Iがたくさん出て来たので解説。
I3...三次の恒等行列
I...最終的に求めたい積分
I13...行列の1-3成分に残った積分

考察と感想

答えは結構きれいになりました。解いた後に、「なんでこんなに簡単なものに悩んでいたのだろう」と思ってしまう僕がいるのが結構悲しいです。
行列の余弦は、某展開によって考えることができたので、正弦でもうまくいきそうですし、何なら漸化式まで立てられそうです。

最後に

今回の記事は以上です。なんか新しい発見ができたら筆をとろうと思います。
誤植等を発見したかもしれない場合は、コメントにてお知らせください。
from Arsenic

投稿日:20231224
更新日:20231224
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Arsenic
Arsenic
24
1815
多様 編集 貪欲 非対称であり対照的な調和 開拓 縁

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 問題
  2. どのように討伐すべきか
  3. ガンマ関数
  4. 解く
  5. 考察と感想
  6. 最後に