X



トップページ数学
146コメント30KB
函数論・複素関数論・複素解析のスレ2
■ このスレッドは過去ログ倉庫に格納されています
0003◆2VB8wsVUoo 垢版2014/07/30(水) 11:51:00.05


>17 名前:KingMathematician ◆LoZDre77j4i1 :2014/07/29(火) 05:54:31.09
> ところで, 冪級数は xの自然数乗の定数倍の和の事が多いが, (x-y) の自然数乗の定数倍の和でも冪級数である.
> 指数函数の逆函数を冪級数で表す時は (x-1) の自然数乗の定数倍の和にする事が多かろう.
>
0004132人目の素数さん垢版2014/07/31(木) 07:00:11.45
コーシーの定理におけるf(z)は正則という条件はもっと弱くできるよね
なんでそうしないの?
0006132人目の素数さん垢版2014/07/31(木) 09:41:50.26
そうなんだろうね
だけど、そういう注意はどこかに書いておいたほうがいいんじゃないか?(書いてあるのを見たことがない)
そうしないと、それが正則関数に固有の性質であるかのように誤解してしまうから。
0007132人目の素数さん垢版2014/07/31(木) 10:39:36.37
政岡大裕(開智高校、明治大学出身)は気持ち悪いよね。こいつは早く自殺しろ!!!!!!!
0009132人目の素数さん垢版2014/09/14(日) 09:38:14.91
教えてください。
次の問題をf(z)のテーラー展開を使って証明できないものでしょうか?
いろいろやってみてもできないのですが。
(問題)関数f(z)は、
・閉円板|z|≦1の近傍で正則
・円周 |z|=1上で|f(z)|≦1
・開円板|z|⋖1の相異なる2点z1,z2においてf(z1)=z1, f(z2)=z2
を満たすとする。
このとき、f(z)=zであることを示せ。
0013132人目の素数さん垢版2014/09/14(日) 21:04:15.96
>>9
もちろんテーラー展開を使う方法でよい。それが最も初等的でもある。
難しく考えないでその方向でもう少しやってみればいいよ。
0014132人目の素数さん垢版2014/09/14(日) 21:21:05.74
シュワルツの補題を使うに決まってんだろ
0016132人目の素数さん垢版2014/09/20(土) 23:04:05.91
数理科学10月号が出た
複素解析の視点
遍在する複素関数
0017132人目の素数さん垢版2014/09/28(日) 09:38:14.33
だれかこの問題できる人いる?教科書の解答とどうも合わないのだが。
(問題)∫[0,∞] (cos x)^2 / (1+x^2)^2 dx を求めよ。
0018132人目の素数さん垢版2014/09/28(日) 10:41:40.78
簡単な練習問題だが、どういう解き方したんだ?
それぞれ使う半平面を間違えたんじゃないのか?
0019132人目の素数さん垢版2014/09/28(日) 11:39:09.58
>>18
ふつうに、
cos z = {e^(iz)+e^(-iz)}^2  として
上半面で積分して2で割った。
そのときz=iにおける留数計算した。
(z-i)^2なのでちょっとややこしかったが、そこは間違っていないと思うが。
0020132人目の素数さん垢版2014/09/28(日) 13:52:47.07
e^(-iz)項がジョルダンの補助定理使った時に発散するので
coszの変形ではいけないと思われる。(基本)
0021132人目の素数さん垢版2014/09/28(日) 18:18:53.54
そうか。e^(-iz)項がまずいね。
(cosx)^2 = (1+cos2x)/2 なので、
(1+e^(2iz))/2 を積分してその実部をとればいいね。
サンクス
0023132人目の素数さん垢版2014/09/28(日) 20:15:29.72
逆?
0025132人目の素数さん垢版2014/09/28(日) 20:36:24.16
>>24
うん記載ミス
0026132人目の素数さん垢版2014/12/03(水) 18:26:12.51
ポール枚の息子の名前って知ってる?・・・極 正則=きわみ(ポール) 正則。
極、極まって、正則す。???我ながら 恥ずかし。
0027132人目の素数さん垢版2014/12/03(水) 18:27:21.25
木曽の 正則さあーーん。
0028132人目の素数さん垢版2014/12/03(水) 18:32:15.39
まさのり関数て人名かとオモタ。
0029132人目の素数さん垢版2014/12/03(水) 18:34:05.37
ある意味ただしいかも。曲がったもの渦のない性格てこと。
おれの友達の正則君にはつむじがなかった???????
0030132人目の素数さん垢版2014/12/03(水) 18:39:43.17
おれの友達は、渦無 正則 君だった。
しかし、つむじは、ただの禿げだった。しかし湧き毛 もとい腋毛はあった。
0034132人目の素数さん垢版2014/12/05(金) 10:51:59.40
渦無 正則 君の別名は等角 正則君だった。
かれら一族は曲がったことが大嫌いのようで、一見曲がって見えるようでも局部
的には直交しているのであった。
そういえば仮面ライダーも変換する時は、ヘンカーンと言って両手を直交させる
動作をする。まさにこれは等価写像を意識している動作である。
0035132人目の素数さん垢版2014/12/05(金) 10:56:10.45
直角といえばののちゃんの曲がり
0036132人目の素数さん垢版2014/12/05(金) 14:47:04.09
あれー。でも丸いものまあるくおさめてもいる。・・・円円対応。?
0037132人目の素数さん垢版2014/12/05(金) 14:49:00.97
そだった。等角写像で直角写像ではなかったのだ。
0038132人目の素数さん垢版2014/12/05(金) 22:25:00.02
ε^(iπ)=-1 は当り前。なら、log(e)(-1) はいくらか。
log(e)(-1)=iπ・・・ではなくて、log(e)(-1)=i(π+2nπ)
言われてみればそのと−り。
0039132人目の素数さん垢版2014/12/06(土) 02:04:26.66
被覆空間上の関数を射影した面上の関数とみちゃうから多価関数になっちゃうってことか。
0040132人目の素数さん垢版2014/12/06(土) 09:35:59.91
オイラーの公式は学部(電気系)ならほぼ知ってる。けどその逆関数の指数関数
で突然聞かれると面食らう。・・・複素関数のつかみはこれで行こう!
0041132人目の素数さん垢版2014/12/06(土) 16:16:48.87
つづいて謎の中国人、周 積分 現る。?
0042132人目の素数さん垢版2014/12/06(土) 16:30:04.81
うるせえぞゴミ
0043132人目の素数さん垢版2014/12/06(土) 16:57:00.44
ポール牧=>ポール巻=>ポール回=>ポール回る=>極 周回。=>i2π ・・・1回りね。
0044132人目の素数さん垢版2014/12/06(土) 16:59:18.53
極ひとつ 1回まわれば パイ二つ。 (愛を忘れずに)
0046132人目の素数さん垢版2014/12/06(土) 17:03:33.39
ポコチンを 愛してまわれば パイ二つ。
ポコチンとは=極  パイ二つとは=2π  愛=i
ポールを愛して1回まわれば愛があふれると言う句。
0050132人目の素数さん垢版2014/12/10(水) 20:15:48.11
孔子曰く、複素関数はコーシー。
0051132人目の素数さん垢版2014/12/10(水) 20:16:46.97
却下
0053132人目の素数さん垢版2014/12/10(水) 21:48:41.68
0057132人目の素数さん垢版2014/12/11(木) 09:06:34.23
高瀬も歴史上の人物になったか
0058132人目の素数さん垢版2014/12/11(木) 09:07:54.01
昨日の林先生の岡潔は
どんな感じでしたか?
0063132人目の素数さん垢版2014/12/11(木) 21:42:34.24
多変数解析関数で重要な仕事を3つした
でも本職の数学者でも理解できない
そこで人物像に焦点を当てる

変人な行動
しかし思いやりがある
春の野に咲くスミレの花は
情緒

思い出せる限りでこんな感じ
好意的に描かれていたし娘さん息子さんの話もあったし
でも取り上げられたエピソードがやっつけな感じがしないでもなかった
0064132人目の素数さん垢版2014/12/12(金) 10:28:27.12
「本職の数学者でも理解できない」のは
数学の部分ではないのかもしれない
0066132人目の素数さん垢版2014/12/13(土) 09:44:26.01
さすがにカルタン先生が、とは言わないもんなあ
あんたカルタンとどういう関係にあったのよ、とな言われるから
0067132人目の素数さん垢版2014/12/13(土) 10:43:28.38
大沢先生の岡潔の本で、クザンの問題が
ヤコビの逆問題の延長にあることがわかったのが
良かった。
0069132人目の素数さん垢版2014/12/19(金) 22:32:50.87
ブルーバックスで逆問題の本が出たが
ヤコビの逆問題の延長ではなかった
0071132人目の素数さん垢版2014/12/19(金) 22:42:19.99
ペンローズ変換は
物理系かと思った
0072132人目の素数さん垢版2014/12/21(日) 06:17:08.59
ムーア・ペンローズ逆行列の
ムーアはバーコフの先生らしい
0073132人目の素数さん垢版2014/12/21(日) 19:18:27.64
逆問題の本に小平先生と複素多様体の話が
でてきたのでたまげた
0075132人目の素数さん垢版2014/12/21(日) 20:47:21.77
手ごろがわからないが
ブルーバックスのレベルかと思った?
0080132人目の素数さん垢版2014/12/21(日) 23:07:07.11
年収900万 /42歳 ボーナス 230万 すべて税金 税金

原 子 力 研 究 開 発 機 構 原発 推 進 国 策 法 人
原 子 力 研 究 開 発 機 構 原発 推 進 国 策 法 人
原 子 力 研 究 開 発 機 構  原発 推 進  国 策 法 人

税金でボーナス230万 原発推進 東電天下り集団
税金でボーナス230万 原発活用 東電天下り集団

原子力研究開発機構 東電天下り 国税2300億円じゃびじゃびゅ
原子力研究開発機構 東電天下り 国税2300億円じゃbじゃびゅ
0081132人目の素数さん垢版2014/12/22(月) 04:14:37.63
>>79
ページ数からいったらそうだろう
もうすぐ英訳が出るから
もっと比べやすくなる
0082132人目の素数さん垢版2014/12/22(月) 21:04:16.89
多変数複素解析で一番分かりやすい本はなんだろう
ある本には、関数が解析的である同値な条件が5個ならんでた、最初の方には葉はでてこなかったが
0085132人目の素数さん垢版2014/12/23(火) 00:24:26.33
けど「これがわかれば全部わかる気がする」という気にさせる書き方するよね大沢先生は
数学に限らず日本語も何もかも難しいんだけど。漢文とかもすごい詳しいし・・・あの博識っぷりは何からきてるんだろ。
論文とか文章の書き方はすごい参考になる。
0087132人目の素数さん垢版2014/12/23(火) 09:34:14.73
>>86
これね、探してみるね、読み物としてはよさげだが

多変数関数論を学ぶ
ttp://www.nippyo.co.jp/magazine/4680.html
0091132人目の素数さん垢版2015/01/07(水) 06:53:24.79ID:vDAj4RvZ
ヘッケ作用素(T(m))によるweight kのモジュラー形式fの変換(T(m)f)(z)は
M:SL(2,Z)の行列を用いて
(T(m)f)(Mz)=(cz+d)^k (T(m)f)(z)
となるんですか?
0093132人目の素数さん垢版2015/01/10(土) 09:53:31.60ID:FznJkeAe
囲碁の観戦記を書いて強い打ち手になった人はいないそうだが
倉田令二郎の解説にはそんな雰囲気がある
観戦記を書いてもだめなら読んで強くなるのはもっと難しそうだ
実際の問題に取り組んでから力を出せる人は出せるということだろうね
0094132人目の素数さん垢版2015/01/14(水) 10:08:46.85ID:CPJS6wxE
Freitagの本ってどうなの?
0095132人目の素数さん垢版2015/01/17(土) 03:33:03.79ID:PWhUY02i
>>94
I巻は基本から楕円関数、モジュラー形式もサポートしてある。答えのヒントがあるのがいい。
代数の知識があると読みやすいかも(同値類やRing,field等の用語使ってる)。誤植も少しある。独学向き。
U巻は解答なしで、ちょっと雰囲気が違うので、解答を確認したい事には向かない。
0096132人目の素数さん垢版2015/02/18(水) 03:10:22.12ID:4BaoHRte
a∈Rとする。
lim_{R∋h→0}(f(a+h)-f(a))/h
は存在するが
lim_{C∋h→0}(f(a+h)-f(a))/h
は存在しない複素関数f(z)の例を教えてください。
0097132人目の素数さん垢版2015/02/18(水) 03:51:00.31ID:899Ea3Ns
>>96

exp (-1/z)
0098訂正垢版2015/02/18(水) 04:02:02.96ID:899Ea3Ns
>>97

exo (-1/z^2)
0099132人目の素数さん垢版2015/02/18(水) 13:40:42.74ID:4BaoHRte
> 97,98
有難うございます。

このように定義域を限定すると微分可能になる関数の呼び方ってあるんでしょうか?
「exp(-1/z)はR上での"制限(?)微分可能関数"である」とか言ったりするんでしょうか?
0100訂正垢版2015/02/18(水) 16:57:21.44ID:899Ea3Ns
>>99

区間 [0,∞ ) において微分可能と言ってもよい。原点において右側微分可能とも言う。
0102訂正垢版2015/02/19(木) 00:44:40.22ID:TeXbjkPh
>>101
0103132人目の素数さん垢版2015/02/19(木) 00:47:26.71ID:TeXbjkPh
>>101

矛盾なく記述されているなら、表現は著者の自由だ。
0104132人目の素数さん垢版2015/02/19(木) 01:19:42.42ID:g6rP0571
俺様理論万歳!
0105132人目の素数さん垢版2015/02/19(木) 16:55:33.07ID:EI3A+axd
>100

とても参考になります。
どうも有難うございます。
0107132人目の素数さん垢版2015/02/24(火) 08:48:04.90ID:7zRSExHI
有用性からもね
0108132人目の素数さん垢版2015/03/05(木) 22:31:46.96ID:7yNMo84z
楕円関数の話から始まる短い論文を読んだが
アッペル・アンベールの古典的定理の次に
アティヤやセールの仕事が出てきて
最後は反例の話だった
0109132人目の素数さん垢版2015/03/11(水) 07:34:21.03ID:PcawKhbH
最近のフィールズ賞は古典論に関係ないね
0110132人目の素数さん垢版2015/03/12(木) 21:48:16.20ID:9ZhTxceA
小平邦彦生誕100年記念講演会は
市民講演の後だから
席の確保が大変そう
でも複素解析ファンは必聴か
0111132人目の素数さん垢版2015/03/28(土) 12:02:15.21ID:olvXTIDn
留数定理関連で、例えば、a,bが実数の時
f(z)=1/(z-ai)(z-bi)
を、複素平面の上半分の半円の径路 C_R; z=R exp(iθ) (0≦θ≦π) で積分する事を
考えます。
f(z)=1/z^2{1 + c_1 z + c_2 z^2 + …}
と書けるので、R → ∞ では
∫_{C_R} f(z) dz → 0
となるのではないかと思ったのです。
しかし、複素平面の下半分の半円の径路 C_R' ; (π≦θ≦2π) の場合も
∫_{C_R'} f(z) dz → 0
となるように思えます。

すると、実軸上の積分路を考えた時、上記の事とz=ai, z=biの留数とが矛盾するように
思えるのですが、どこに間違いがありますか?
個人的には、一様収束と項別積分関連の「モンダイ」かなと思っています。
0112132人目の素数さん垢版2015/03/28(土) 13:07:23.11ID:olvXTIDn
(z-ai)(z-bi)=z^2-i(a+b)z-ab=z^2{1-i(a+b)/z-ab/z^2}
∴ 1/(z-ai)(z-bi)=1/[z^2{1-i(a+b)/z-ab/z^2}]
∴ |1/(z-ai)(z-bi)|=1/R^2・1/|1-i(a+b)/z-ab/z^2}|

|1-i(a+b)/z-ab/z^2}| → 1 ( R → ∞ ) より、
1 < M < 2 を満たす任意の正数 M に対し、R を十分大きくとると
1/|1-i(a+b)/z-ab/z^2}| < M
と出来る。

∫_{C_R} 1/(z-ai)(z-bi) dz ≦ ∫_0^π 1/R M dθ → 0

???
0113132人目の素数さん垢版2015/03/28(土) 13:47:56.26ID:olvXTIDn
age
0114132人目の素数さん垢版2015/03/28(土) 13:55:35.75ID:olvXTIDn
>>112
誤字訂正

誤:∫_{C_R} 1/(z-ai)(z-bi) dz ≦ ∫_0^π 1/R M dθ → 0
正:|∫_{C_R} 1/(z-ai)(z-bi) dz| ≦ ∫_0^π 1/R M dθ → 0
0115132人目の素数さん垢版2015/03/28(土) 13:57:56.14ID:97aBLFY3
そこかよ
0117132人目の素数さん垢版2015/03/28(土) 17:20:01.07ID:Lfr8N1aI
>>111
R → ∞のとき、{1 + c_1 z + c_2 z^2 + …} からの寄与は無視できないでしょ
{1 + c_1 z + c_2 z^2 + …} は有界ではないよ
0118132人目の素数さん垢版2015/03/28(土) 17:50:56.72ID:olvXTIDn
理由が判明しました。

Res(ai) + Res(bi) = 0 だからです。なぜなら、

Res(ai)=[(z-ai)f(z)]_{z=ai}=[1/(z-bi)]_{z=ai}=1/i(a-b)
Res(bi)=[(z-bi)f(z)]_{z=bi}=[1/(z-ai)]_{z=bi}=1/i(b-a)

だからです。

>>116
例えば、a,b > 0 とした時、
実軸の径路を C_0; z=x, -∞≦x≦∞ とすると、
(i) 複素平面の上半分の半円の周囲で積分すると:
∫_{C_0}+∫_{C_R}=2πi{Res(ai)+Res(bi)} ; 留数の和
(ii) 複素平面の下半分の半円の周囲で積分すると:
∫_{C_0}+∫_{C_R'}=0 ; 留数がない。

しかし、∫_{C_R}=∫_{C_R'}=0 ということであれば、

(i)より、∫_{C_0}=2πi{Res(ai)+Res(bi)} ; 留数の和
(ii)より、∫_{C_0}=0

となるため、矛盾するのではないか、と思ったんです。
ところが実際は、Res(ai)+Res(bi)=0 なので矛盾してなかったんです。

>>117
>>112」をご覧ください。径路 C_R, C_R' による積分は確かに共に 0
になっているんです。
0119132人目の素数さん垢版2015/03/29(日) 00:52:41.81ID:+eyHgZrh
>>111
詳しいことは分からんが、
f(z)をai,biを含む閉曲線で積分すれば、留数定理よりゼロにならないか?
何も矛盾してないように思えるが??
0127132人目の素数さん垢版2015/04/06(月) 06:06:12.89ID:fLOqSJzX
学会の講演はビデオがよかった
0128132人目の素数さん垢版2015/04/25(土) 06:50:38.22ID:l++YUOMa
倉田先生の若い時の写真を見たが
知人にそっくりなので驚いた
0131132人目の素数さん垢版2015/05/19(火) 23:06:43.35ID:Og2SUNkK
野口潤次郎が最近出した多変数複素解析の本、学部生が自主ゼミで読んで挫折したと聞いた
やってたのは学部生の中でも優秀な人たちだと思うけど

タイトルに「学部生に贈る」て書いてあるのにね
0135132人目の素数さん垢版2015/05/30(土) 15:35:59.32ID:XmZtbeM4
この前でた倉田先生の数学セミナー連載のまとめ本ちゃんと理解すれば野口先生のにも入りやすいと思うけどね
0137132人目の素数さん:垢版2015/07/23(木) 12:06:04.43ID:k0vbF1uX
fが正則関数でγがJordan閉曲線の時,もしaがγの外部にある時,
塔チ f(z)/(z-a)^2dzの値は幾らになりますか?
0139132人目の素数さん:垢版2015/07/24(金) 02:51:31.97ID:stCSoorg
グルサの定理から0になるのですね。
0144132人目の素数さん垢版2015/08/26(水) 21:38:47.36ID:3L7Qpw0k
zを複素数として,
Σ_0^∞ z^n/(1+z^{2n})
という級数を考えたときに,
この級数は|z|=1で発散,それ以外で収束する不思議な級数のようですが,
この級数に何か名前なぞついていたりしませんか?
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況