微分方程式の研究と悪あがき
こんばんは〜(が1番確率的に多いかな?)
が今自分の研究の中で重要な役割を果たすんですが、
全然性質が分からないorz
ということで悪足掻きをしています。
これはテータ関数版微分という概念を定義した際のの対応物になります
まずフツーのの現象を見ていきますね。
任意のに対しが成立しますが、(積分定数全体が同値類の空間を張ると考えることします)
を代入するとというワケノワカラナイ物が出来ますが、
実際はであるという事を高校で習います。
は性質が非常に豊潤ですが、テータ関数版微分の(以後)は
制約が厳しく、性質が限られていくことになります。
の定義は微分方程式の解とします。
まだ初期値は与えてない(というか関数が求まってないので決めかねる)ので自由度があります。
二階微分を含みますので、2次元の自由度があるように思っていますがどうなんでしょう。
1つ自由度は見つかってててが定義方程式を満たすとき任意のについて
ですので引数のスカラー倍はして良いことになります。
の逆関数はであり、微分に関して良い性質を持つのはよく知られています。
の逆関数をとしてみると最初の式から色々計算して
とできます。ただし見やすさのためはgの1階微分と書いてます
と置くととなります。
導関数が0ならか程度しか分かりませんが。
に話を戻すと、
のときが分かります
xについて同次なのでと置換すれば
さらにとし、
であります。
とすれば
でよりで
つまり中心の円板領域を除けばyは有界であることが分かります。
での挙動が1番重要ですが、程度という推測しか付きません。
desmosで検証したところが1番近い関数とわかりました。
■
[問題]
関数fのp回合成をと書く。
自然数pに対し複素数係数有理式で...(0)となるものを求めよ,
御無沙汰です。久しぶりの更新です|*・ω・)チラッ
自作問題です
ある意味不十分な解答です(ごめんなさい)
[解答]
で右辺は上全単射なので、f(x)も上全単射である。...(1)
は有理関数なので代数学の基本定理から
(ただし既約分数、)と因数分解できるが、
相異なる複素数があってとなるときfの単射性(1)に反するので
は1次式の冪である。同様にも1次式の冪。
ところでの一方が2次以上の式ならf(x)の値を固定したとき
xの方程式で相異なる解が2つ以上出るが、fの全射性(1)に反する。
よっては高々1次式。
まず次式と仮定して(0)から
より
と置くと
∴ ...(2)
これを除くと
. と書ける。
このとき次の事実が成立する。ただし>
は自明。は分母を払って
なる形に帰着できる。自由度は3なので
を調整し、に持ってければ勝ちです。
の不動点について見ると、2次方程式から、高々2点の不動点が出る。
もし重解がある時、不動点は1つだけだがその点における微分係数は1になり、
結局2自由度分の情報が得られる。...(3)
あとは1点の情報を付加すればを決定できるのでok
(3)の計算は、不動点zがを満たすので解いて
となる。重解の際だが
。
よって示された。
以上より、解は
全単射であることが超強い条件だなという実感です。
最近ある研究の過程で次の微分方程式が出てきたんですが、
全く解けなくて1ヶ月以上苦しんでいます。
部分的な変形でも良いので何かお助けお願いします!
特殊すぎる解ですが
という「「発散表示」」は見つけました。
xについて同次形なのでと置換し、
更に微分次数下げを行って、とすれば
が得られます。
log味が強いのでx=0での冪級数法は通じないでしょう。
x=1とかでプログラムで計算できる方とかいらっしゃらないかな
フーリエ変換作用素を微分作用素で表現する公式!
(。・ω・)ノども〜
今日はフーリエ変換を微分作用素から捉える事をやってみましょう。
で定義します。今日のメインディッシュを....
定理1 Fourier Tranceform&differential operator
全然関係ないFourier変換と微分が結びつくインパクトが強い!
定理2
定理3
Eulerの等式に引けを取らない美しい等式でめっちゃ好きです!
参考文献は「数学の現在 」の第1講小林俊之さんのとこですね
この本は数学の諸分野を教授が紹介する感じで、情報多くて面白いです!
今回の定理の主張自体が他の文献やネットに無いので、
今回はその部分を埋め合わせるためにこの記事を書いた次第です
少し本で見た表示と違いますが変形しています。
フーリエ変換は色々流儀がある為結構めんどくさい....()
それでは証明に入って行きましょう
色々定義。
諸定義。
関数が定数倍しか変化しない固有関数について考えてみると、
Gauss積分からである事が導かれます。
詳しくやると、割と有名な極座標への変換のメソッドで
なので
という風に示されます。いえい!!
更に任意の整数kについて
が成り立ちます。これを示す為に、
の関係を調べます
つまり作用素の合成として
なる関係が成り立ちます。よって任意の正整数について
故に
はフーリエ変換の固有関数と分かりました
定義式から任意の自然数nについて
はn次多項式と分かります。
なので複素平面上のある領域でテイラー展開可能である任意の関数はを基底とした線形空間の元であるから、
に対して作用した結果が等しいなら
基底の構造から、定理1を示せます!!
各はから作られるので
に対する作用の結果が等しいなら、
任意の関数に対して作用した結果が等しく作用素としての等号が成り立ちます。
それでは後半戦。
以前私のブログで
という公式をライプニッツ則から導きました。
これを用いて行きます。
作用素に対し
交換子括弧
随伴作用
反交換子
と定義するとLie群とLie環の関係を考えると
任意のに対し
となります。双線型と交代性を持つ作用素なので
を用いると、
となることがわかるので、
を代入してに作用させると
よって
となります。また、
ですので
よってに対して作用した結果が等しい事が分かりました!!!
これで先程言ったように任意のについて作用の結果が等しく、任意の関数について作用の結果が等しいので作用素の等号が成り立ちます
これで定理1は証明完了です!!!
ところでフーリエ変換の作用には周期性がある事が知られています。すなわち
が成立します。見ていきましょう。
計算してみると、が偶数、奇数なら
それぞれは偶関数、奇関数である事が分かります。
任意の関数gに対し複素数列があって
と書けるのでこれを使って
となるので、
これはつまり2階フーリエ変換は「引数マイナス倍の作用素」と言えます。
ここでとなる事から、をテイラー展開して掛け合わせると
と分かるので、定理2を導けました!
また、直ちに
これは、4回フーリエ変換すれば元に戻るってことですね。
が導かれます。定理1を使って書き換えると
さらにを使うと、
より定理3が導かれました!!!
d( '-' )
この結果は多重化することも可能です。つまり
、
と置くとがならば指数法則が成立し
となるので
と変換されます。実は、先程のに
を代入するとには
なる関係が成立します。を使うことで対称的に
と書けました!
面白かったでしょうか
調和解析の1分野として分階数フーリエ変換が提案されています。
これは人工的な概念では無く階フーリエ変換は指数関数として
として書く事が出来るのが有用な概念として位置づけられる理由です。
フーリエ変換のq類似がありますが今回の表示とどう関わっているかよく分かってせん
よければ教えてください!
1階微分作用素のは熱核として研究されていますし、
実際に
が成り立ちます。しかし2階微分作用素の指数写像に関しては非自明な部分があり、
今回のこれは2階微分作用素の対称性の関係式Segal-Shale-Weil表現なんかと結びついています。行間埋めてみたので見てみてくだいさな
では今日はこれにて〜(`・ω・´)ノ
今研究中のやつ
と置くと
Segal-Shale-Weil表現
のSegal-Shale-Weil表現を紹介しマース
微分作用素を用いた表現です〜
とします。
を考えると、
(1)
(2)
(3)
が成立します。ここに、作用素の交換子の等号[\[ A,B\] =C]は任意の正則な関数fに対し
である事です(は写像の合成に注意)
を以前証明しましたがそれを使うと(3)は
と書き換えられます。の作用で固有値nに対し固有関数があるので
となります。
それでは(1)(2)(3)を証明してみましょう。
は線形作用素で、
正則な関数fは形式的に
と展開出来ますから、
それぞれの作用素をfに作用させた時、各自然数nに対しがどう変化するかを見ていけば等号が証明できます。
まず(2)は簡単です。
よしっ
次(3)
を使うだけです。
うぇいっ
最後(1)、
美しくて気持ちよくないですか???
(まぁi/2√2とかは調整したんですが)
2回微分のこのような関係式の存在自体が非自明で興味深いです。
詳しい話は小林俊之さんが「数学の現在 π」で語っております。
そしてこれが、フーリエ変換の微分作用素による表示へと繋がっていくのです
美しすぎて感動しますた
Möbius関数の幾何級数型等式
久しぶりの投稿であります(。・ω・)ノ゙
Möbius関数を見てたら面白い公式を見つけました
結論からいうと全く意味が分かりません(´・ω・`)
読む意味もあるのか分かりません(´・ω・`)
任意の整数に対し(tex変ですが気にしないで笑)
シグマの各変数は自然数になるように動きます
参考Wikipedia...
まずの条件をに書き換えます、
簡単のため正整数に対し
と書きます(Symbolの簡約化)
すると、上式は組み合わせ論の知識を用いて
となることが各項のに着目すれば帰納的に分かるでしょう。
を足してますが、1を各項に分配してそれを足しあげると思えば良いでしょう。
見通しよくするため間の冪・積を
と約束すれば
となり、これが形式的冪級数であると解釈したなら
となりました\( ´・ω・`)┐しゅたっ
冒頭で述べた通りよく分かりません(´・ω・`)
[演習問題(絶望)]-1個の変数について足せってどういうことですか(´・ω・`)
続行研究
の場合を見てきましたが、対数を考えてみましょう(指数法則の類似を満たすので考えることは自然です)
(他)
となることが分かると思います。
数論的関数としてそこそこ重要な関数が出てきました!
足される関数を今回は1しかやってませんがバリエーション色々つけれるはずです