[Eng Sub] Formal Derivative: Differentiating Something That Diverges to Infinity

Рет қаралды 22,555

Zundamon's Theorem (jp)

Күн бұрын

Пікірлер: 44

@matsuokenshirou 2 ай бұрын

見る前「まったくわからないのだ！」見た後「まったくわからないのだ！」

@aloysiuskurnia7643 2 ай бұрын

Once again I never expect Zundanmon to actually introduce me to a topic I actually never heard before. Great video as always! What I love from this channel is the title is not directly related to the topic; it starts with a barely problem and steers smoothly to the topic.

@aloysiuskurnia7643 2 ай бұрын

Also the fact that you can just calculate a compositional inverse of an FPS feels... weird but warm. I dunno how to explain.

@IUT-e8x Ай бұрын

There are very obscure and specific topics in fields like algebraic, arithmetic geometry and operator theory but it wouldn't be that entertaining to watch for most people, and understanding would require strong background so I don't think they would want that. But I understand your point.

@粕谷礼 2 ай бұрын

等比級数の和の公式に一致するところでリアルに「おお」って声出た

@山崎洋一-j8c 2 ай бұрын

形式的べき級数は、特に数列の「母関数」をきちんと扱うときに必要になりますね。（逆数に関しては、形式的ローラン級数に拡張すれば代数的に厳密化されます。） 1-xを掛けると階差数列になり、1/(1-x)を掛けることが数列の（部分）和をとることに対応したりして、組合せ論とも結びつくのが面白い

@izumiisakurai7645 2 ай бұрын

２回めのタネ明かしに憧れる

@ANONAAAAAAAAA 2 ай бұрын

形式的べき級数の別の見方として微分作用素で張られる空間Spanの双対空間とみなすのはどうだろう適当な思いつきだけどまた、このような微分作用素空間の要素、\sum a_n d^n/dx^nと\sum b_n d^n/dx^nを2つとってきて、形式的にこの2つを作用させるという意味での積、\sum a_n d^n/dx^n * \sum b_n d^n/dx^n |_{x=0} を考えると、a_n, b_nの畳み込みの形になって形式的冪級数の積と同じ形になる

@_strauss 2 ай бұрын

ずんだもんがチャーリイ・ゴードン並みに賢くなっていく・・・

@MushiSaad1 Ай бұрын

Math, and anime girls at the same time? Perfection

@Zab_n 2 ай бұрын

チェザロ総和とアーベル総和しか知らなかった！このチャンネルいつも楽しませてもらってるほんとに最高のチャンネル

@Masatoshi_Ohrui Ай бұрын

広義積分の主値と似たものを感じる

@uwukia 2 ай бұрын

10:50 mind blown!! another fun topic today, thank you zundamon and metan!

@owata1942 2 ай бұрын

こう見ると形式べき級数の掛け算って2つの数列の畳み込み演算なんだな

@kotaro4734 2 ай бұрын

ボレル総和らへんの話は、不思議ですね。無限級数が満たす微分方程式は、数列の局所的な性質を表している感じなのかな。

@gamma関数信徒 2 ай бұрын

せっかく、前々回『陰計算』だったので、∫の中でA>0の定数、Σの中でA^n→A(n)になる演算子Aを導入すると、交代無限級数のボレル和について、t→sのラプラス変換 Lap[exp(-A*t)]=1/(s+A) これをs=∞で展開(Euler的)して、Σを使って、A(n)直して、s→1をとるとボレル和になるし、1/(s+A)→1/(s+b+A-b)で s→s+b　A→A-bとみて、 (A-b )^nをΣを使って二項展開すると二重Σの『くりこみ』公式となる(前回コメントさせて頂いています) 伝わるかなぁ？

@超伝導ゼロス 2 ай бұрын

扱うテーマがセンスいいよね。無限級数ネタも興味深いですが・・・決定論（因果関係に基づいて唯一の結果に到達する現象）と確率統計現象の関係性を、数学ではどのように示すのだろうか。現代の物理学では、自然現象の経時変化を確率的に計算します。ところが古典力学では物理現象を確率の形式でうまい具合に数式モデル化して計算することができません。

@ST-gs6ul 2 ай бұрын

形式的冪級数は係数が重要なのであって、xに値を代入するという操作を考えないから収束性は気にしなくていい、と聞いた。 (x=0は考えることもあるが、定義から数列の初項として考えれば明らかに定数である。)

@中井誠二 2 ай бұрын

輪論が形式的な分数計算を行うことで零除算も扱えるのと似てる気がする

@天才の証明 2 ай бұрын

代数学の面白い所

@sinethetamun5570 2 ай бұрын

形式的冪級数は関数と極限を失うとか言いつつ何だかんだ級数を関数と結びつけるのによく使いますよね便利

@weegee7924 Ай бұрын

Blindly charging in and manipulating infinite series without questioning convergence or consequences: what physicists call "an average day at the office".

@やんやん-s6l 18 күн бұрын

大学時代に形式的べき級数を使った研究だったけど、いきなり教授から渡されて、何じゃこりゃと思ったのは、今となってはいい思い出。

@IUT-e8x Ай бұрын

私のお気に入りのチャンネル。

@hiloki0713 2 ай бұрын

そもそも厳密には、多項式も級数も形式的冪級数（というか（有限）数列全体に特殊な演算を入れたもの）として定義されて、そこから代入操作等によって多項式関数などが定義される。って形になる訳ですけどね（まあ"式"ってほとんどの場合そういうものですが）。

@nanashinohanako 2 ай бұрын

組合せ論をやったから、形式的冪級数の方が当たり前で、収束性なんか気にもしない体質になっている……

@天才の証明 2 ай бұрын

分かる代数やりすぎると解析の制限とか気にしなくなっちゃう

@gamma関数信徒 2 ай бұрын

最後のセキブンは、黒川信重『オイラー探険』第11峰にEuler先生の連分数表示があるね！(Euler全集I-14巻606頁と書かれている。)

@apppples 2 ай бұрын

awesome!!

@quantumgaming9180 2 ай бұрын

Tensors next please ❤

@umapessoaaleatoria 2 ай бұрын

I think this is the scariest thumb of the channel

@765DAIKI 13 күн бұрын

母関数とかの概念に通ずるものがある？

@gamma関数信徒 Ай бұрын

Borel総和以下　n:0→∞　積分範囲t:0→∞ ”Σ((-1)^n)*A(n)”= ∫exp(-t)*Σ[((-t)^n)*A(n)/(n!)]*dt....☆ だけど、 n!=∫exp(-t)*(t^n)*dt　なので ☆の式は∑の分母のn!とセキブンが打ち消し合う様に設定されているんだよね！つまり、極端に言うと、☆の右辺の『∫とΣ』を『入れ替える』という荒技で左辺にしてるんだよね！かと言って、他の『セキブン』と『打ち消し』のペアを設定しても、収束が激的によくなるってコトは(自分のやったハンイでは)ないんだよなあ...