- ベストアンサー
関数の複素共役と元の関数の関係
関数f(x)において、その複素共役をf*(x) とすると、 f(x)=f*(x) の場合、f(x)は、実関数に限ると思いますが、 証明の方法がわかりません。 テーラ展開できる場合は、僕でも証明できますが、 もっと、一般的には、どうするのでしょうか? それから、f(x)=-f*(x) の場合、 (例えば、f(x)=i x ) こういう関係が成り立つ関数を、どう呼んだらいいでしょうか? 反エルミート関数?
- みんなの回答 (2)
- 専門家の回答
質問者が選んだベストアンサー
その他の回答 (1)
- alice_44
- ベストアンサー率44% (2109/4759)
関連するQ&A
- 共役複素関数について
複素数z=x+iyに共役な複素数がz*=x-iy であるということはわかるのですが、ある複素関数f(z)に共役な複素関数というものがどうゆうものであるかがよくわかりません。教えていただけるとありがたいです。
- ベストアンサー
- 数学・算数
- 複素関数の共役関係について
皆さんよろしくお願いいたします。 ある関数F(z)があるとします。 ここでは虚数単位をj=√-1と表わします。 変数ωに虚数単位を掛けたもの z=jω を代入したあらたな関数をF(jω)・・・(1)とします。 さらに z=-jω を代入した関数をF(-jω)・・・(2)とします。 このとき式(1)と式(2)は共役複素数であることを証明したいのです。 工学の制御工学の分野で利用しているのですが、上記がなぜ成立つか証明できません。 具体的な例では分かるのですが、一般化した場合に成立つかを証明したいのです。 ご存知の方、ご教示いただきたくよろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 【量子力学】エルミート共役と複素共役など
量子力学が相変わらず難しすぎて、どこがわからないのかわからないという状況なのですが、 少し糸口になりそうな部分がわかったような気がするので質問させて頂きます。 複素共役を考えると、ブラケットでは、例えば (1) (<ψ|A|φ>)^* = <φ|A^†|ψ> となり、同じものを波動関数の式では (2) {∫ψ^*Aφdx}^* = ∫φ^*Aψdx (全空間で積分ということでdxとしています) のように書かれると思うのですが、エルミート共役はどのようになるのでしょうか? (3) (<ψ|A|φ>)^† = ? (4) {∫ψ^*Aφdx}^† = ? という意味です。 私が今思っていることとしては、「内積をとった(ブラケットが閉じた)もの全体に対するエルミート共役」 という概念を考えること自体がおかしいのではないか、などと考えているのですが…。また逆に、 (5) {A|ψ>}^† = <ψ|A^† (6) {A|ψ>}^* = ? という疑問や、更にこれを波動関数の式((2)みたいな式のことです。何と呼ぶのかわからない…。)で書くとどうなるのか、 などなど、もう何も分かってない気がしてきます(^^;; とりあえず質問は上記の通りなのですが、(2)のような表記の意味がどうにもよくわからっていないというのが正直なトコロです。。 ブラケットなどの行列力学のような書き方は比較的しっくり来るのですが…。 波動関数というもの自体が、「関数だからベクトルじゃないの??」とか、 「順序とか関係なく、[ψ,φ]=0でいいの??」とか…。もうなんだか混乱しすぎ…orz という感じなので、どうかお救い下さい。 恐らく質問文が既にいろいろ間違ってたりするのでしょうが、何とか汲み取ってご教授くだされば幸いです。 いろいろ質問が多くなってしまいましたが、よろしくお願い致します。
- 締切済み
- 物理学
- 実関数のテーラー展開と複素関数のテーラー展開の違い
実関数のテーラー展開はテーラーの定理から、複素関数のテーラー展開はコーシーの積分公式とグルサの定理から導かれますが、複素関数のテーラー展開で、実関数のときのようなラグランジュの剰余項がないのはなぜですか?
- ベストアンサー
- 数学・算数
- 複素関数論は何が美しいのか
応用数学としての関数論を勉強中です。飛ばし読みではありますが、複素積分を利用して実関数の積分をするところまでなんとかたどり着きました。 さて、関数論は美しい数学であるということをよく聞かされたのですが、急いで読み過ぎたせいか、関数論の美しさに感動できるところまで至っていません。オイラーの公式から導かれる e^(iπ) + 1 = 0 ・・・・・(#) は、もちろん関数論の本を読む前から知っていましたが、この等式を知ったときの驚きを上回る感動を今のところ感じることができません。 たとえば等角写像などは関数論では美しさはもちろん、おもしろさもさっぱりわかりませんでした。流体力学の本で等角写像を応用したジューコウスキー変換というものを知って、そのおもしろさがようやくわかり、感心もしましたが、感動するところまではいきませんでした(笑)。 また、実関数ではテイラーの定理を経由しないと(剰余項を調べないと)テイラー展開できませんが、複素正則関数はコーシーの積分公式から直接テイラー展開を導けるため、テイラーの定理が複素関数の場合不要になることなど、実におもしろいとは思いましたが、やはり (#) を初めて知ったときのような感動は味わえませんでした。 関数論のどこらあたりを精読すれば、よりおもしろく感じたり、数学美というものを感じることができるでしょうか? どういうことを「美」と感じるかは個人差が大きいとは思いますが・・・・・
- ベストアンサー
- 数学・算数
- 複素関数論の問題です。
複素関数論の問題です。 u(x,y) = (e^-x)sin(y) 調和関数(ラプラス方程式の解)であることを示し、その共役調和関数v(x,y)を求めよ 私はこの証明は触れたことがありません。 ご回答お願いします。
- ベストアンサー
- 数学・算数
- 複素関数の問題です。
複素関数の問題です。 f(z)=z/(1+z^2)として、 f(z)の{z:0<|z-i|<2}におけるローラン展開を求めよ、という問題がありました。 この{z:0<|z-i|<2}というところがよくわからなくて困っています。 普通、ローラン展開するときは z=ある値 における、という表記が使われることがおおいと思いますが、これはいったい z=いくつで展開すればいいのでしょうか。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 複素関数
聞きたいことが2つあります。 1つ目は複素関数w=u+ivについてです。 この関数がコーシーリーマンの関係式を満たすとき、w'=a+ibもコーシーリーマンの関係式を満たすことを示したいのです。 まず、wにコーシーリーマンの関係式を適用してからラプラスの関係式を適用して d^2u/dx^2 + d^2u/dy^2 =0 d^2v/dx^2 + d^2v/dy^2 =0 となります。 このあと、a=du/dx + du/dy b=dv/dx + dv/dy と定義します。 でコーシーリーマンの関係式を使ったのですがどうにも一致しません^^; aとbの定義が違うのでしょうか? 2つ目は円柱周りの流れを表す複素速度ポテンシャルについてです。 f(z)=Az+B/z=φ+iψ f'(z)=u-iv と定義されていて、境界条件が設定されているのですが使い方がよくわかりません。 f(z)=φ+iψで、ラプラスが成り立つことは証明済みなのですが、これをうまく使うのでしょうか? どうぞ、よろしくお願いします。
- 締切済み
- 数学・算数
- 体での共役の定義って?
複素数での共役の定義を一般的に述べればどういう事か考えています。 a+biとa-biを掛けたり足したりすると実数になり,実数体は複素数体の真の部分体ですよね。 従って、これらの事を考慮して 最小多項式をとりあえず調べてやってみました。 1+iは0次式a=0の解には当然成り得ません。また一次式ax+b=0の解にも成り得ませんから更に二次式ax^2+bx+c=0…(*)を考えるとこれに1+iを代入して (2a+b)i+(b+c)=0を得,2a+b=b+c=0でなければなら事。 c=0の場合はb=a=0となり不適。よってc≠0でb=-c,a=c/2。 よって(*)に代入して c/2x^2-cx+c=0で両辺を2/c倍してx^2-2x+2=0。これが1+iのR上の最小多項式。 そしてこの方程式を解くと,x=1±iで他の解はx=1-i。 [3]√2のQ上の最小多項については α=[3]√2と置くと,α^3=2なのでx^3-2=0が[3]√2のQ上の最小多項式。 この3次方程式をQ上で解くと因数分解できないので他の解は無し。 R上で解くとx^3-2=(x-[3]√2)(x^2+[3]√2x+[3]√2)=0. よって他の解はx=(-[3]√2±√([3]√4-4[3]√2))/2 となりました。-[3]√2±√([3]√4-4[3]√2))/2は互いを足しても掛けても[3]√2でQの元にはなりません。 α∈E\K(Eは可換体Kの拡大体)が代数的な時。最小多項式が偶数次数の場合には場合には共役な解の対になっているが奇数次数の場合には共役対を持たない解がある。 [結論] 3次の場合にはペア無しが1つ現れる。4次の場合にはふたペアになると予想します。 従って,分かった事はどの元にも共役元が存在するとは限らない。 故に 「F'を体。FをF'の真の代数的拡大体とするとa∈Fに於いてx∈Fはaの共役である。 ⇔(def) (i) a∈F'の時はx=a (ii) a∈F\F'の時は ax∈F'且つa+x∈F' なるx∈F\F'」 が共役な元の定義だと思いますが…。 如何でしょうか? 体での共役の定義をご存知の方いらっしゃいましたらお教え下さい。
- 締切済み
- 数学・算数
お礼
そういうことですか!! ありがとうございます。