1

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

115
1

こんにちは。最近の生活が数学にむしばまれてきてる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
26
2006
おっほw

コメント

他の人のコメント

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