スレッド表示 | 古いものから | 前のトピック | 次のトピック | 下へ |
投稿者 | スレッド |
---|---|
webadm | 投稿日時: 2010-6-26 11:27 |
Webmaster 登録日: 2004-11-7 居住地: 投稿: 3093 |
インピーダンス整合 次ぎはうってかわってインピーダンス整合の問題。
以下の2つの回路を用いて一次側300Ω、二次側75Ωの抵抗の間で周波数f=100kHzで整合をとるためにはLとCを決定せよというもの。 これも設計問題(逆問題)である。ストラテジーとしてはいくつか考えられる。(1)影像インピーダンスの逆問題として考える(与えられた周波数と一次側と二次側の抵抗値でそれぞれの駆動点インピーダンスがそれぞれの抵抗値と等しくなる影像インピーダンスを持つLとCを決定する。(2)正規化(L=1,C=1)された回路の影像インピーダンスを求め、それが与えられた周波数と影像インピーダンスを持つようにLとCをスケーリングする、(3)与えられた周波数と影像インピーダンスで伝達定数が最大となるLとCを求める、等。 著者の解答は(1)のアプローチをとっているので、こちらはそれとは別解を考えざるを得ない。しかしどれも似たようなもの。条件を満たす不定元LとCを解く問題だからだ。 とりあえず不定元L,Cに関する影像インピーダンスの式を導く必要がある。 ということになる。 周波数が100kHzでZ01=300Ω,Z02=75Ω(何れも実数)を満たし、リアクタンス回路なので一次側から供給された電力は損失無く二次側に伝達されるため伝達定数が0となるようにL1,C2を決定すればよい。 以下の関係式をL1,C2に関する連立方程式としてMaximaに与えて解くと しかしこのままではMaximaでは解けないので、式からべき根を無くために以下の様に二乗したものを与えると 以下の解が得られる。 ということになる。この値を元の影像インピーダンスの式に代入して検算してみよう。 ということになる。 ところで伝達定数はどうなるのだろうか? 計算してみると ということになる。これは位相差は生じるものの損失はまったく生じないことを意味する。 残りの回路についても同様に ということになる。 P.S 最初定数の有効桁数を3桁までに丸めて検算してみたところぴったりとした値にならないので4桁にした。伝達係数も3桁だとごく微少な実数値が現れるが、4桁にすると実数部はゼロとなる。伝達定数の実数部がゼロになることを条件に入れて解を求めるという手もあったかもしれない。 後半の回路は急ぐあまりにMaximaで固有ベクトルを求めたところまでは良いが、それから連立方程式を立てる際にMaximaの固有ベクトルは単位ベクトルに対して正規化されているので逆数になっているのを忘れてしまって答えが合わず結局地道にやり直したらそのことに後から気づいたというありさま。後半の回路では式中に含まれる虚数単位の消去処理を誤ってだいぶ時間をロスしてしまった。読者はテスト問題を解くときには本方法の真似をしないように。それと二端子対回路がリアクタンス回路の場合には回路内での電力消費が無いため伝達定数は純虚数となるはずであることも後から気づいた。無理矢理伝達定数の式から虚数単位記号を消そうして消えずに数時間悩んだのは内緒だ。 たかがL字回路、されどL字回路。後半の回路は現在でもデジタル機器の随所に不要輻射を低減するためのフィルターとして使われている。特に外部に信号線や電源がコネクタとして出てくるところでは超高速な信号でない限り必ず線路に挿入されているはずである。 |
webadm | 投稿日時: 2010-6-26 0:45 |
Webmaster 登録日: 2004-11-7 居住地: 投稿: 3093 |
4端子定数と影像インピーダンス 次ぎは初めて出てくる変わった回路の4端子定数と影像インピーダンスを求める問題。
T型回路と並列にZ4直列だけの二端子対回路が接続されているような感じ。 前の問題でだいぶ計算が疲れたので3つの部分回路の従属接続にもうひとつ並列に接続しているものとして4端子定数を求めよう。 4つの部分回路の伝送行列F1,F2,F3,F4とT型回路部分の伝送行列F123は ということになる。 次ぎに伝送行列F123をアドミッタンス行列に変換すると ということになる。 次ぎに伝送行列F4を同様にアドミッタンス行列に変換すると ということになる。 2つの並列接続した回路の伝送行列は ということになる。 影像インピーダンスを例によって鏡像回路と縦続接続した対称回路の伝送行列の固有値と固有ベクトルから求めると ということになる。Z01とZ02ではちょうど鏡像回路でZ1とZ3が入れ替わっているだけなので計算せずとも自明である。 P.S たった4素子の回路なのに影像インピーダンスの式は複雑を極める。Maximaがあるのでなんとかやり遂げたが、昔の人は紙の上で計算を追っていくしかないのでそれはそれは大変だったに違いない。 |
webadm | 投稿日時: 2010-6-25 21:54 |
Webmaster 登録日: 2004-11-7 居住地: 投稿: 3093 |
もうひとつの:影像パラメータ 次ぎも影像パラメータを求める問題。
以下のH型回路の(1)4端子定数、(2)Z1=Z2=Z3=Z4の場合の影像パラメータを求めよというもの。 前の問題で学んだ通り、この回路はH型とは言う物のその実態はT型回路と等価であることがわかる。 試しに3つの部分回路の従属接続として4端子定数を求めるとそのことが明らかになる。 ということになる。 一方Z1=Z2=Z3=Z4ということになると対称回路になるため伝送行列Fの固有値と固有ベクトルから影像パラメータが求まる。 ということになる。 P.S 最初間違えて2θ=ln(λ)として計算したら平方根が出てきてしまって焦ったが、鏡像回路を縦続接続しているわけではないのθ=ln(λ)でよかったのである。 |
webadm | 投稿日時: 2010-6-22 18:50 |
Webmaster 登録日: 2004-11-7 居住地: 投稿: 3093 |
まだまだ:影像パラメータ &0次ぎも影像パラメータに関する問題。
以下の格子型回路の(1)伝送行列、(2)Z2=Z3の場合の影像パラメータ、(3)A,Cが与えられた場合にそれを実現するZ1,Z2(ただしZ1=Z4,Z2=Z3とする)を求めよというもの (1)伝送行列 ストラテジーとしていくつもあるが、以前にやったように2つの部分回路の並列接続として考えてみよう 従って伝送行列Fは ということになる。 おろ、著者の解とだいぶちがうぞ。どうやらA=Dとなってしまっている。もとの部分回路がそもそも対称回路なのだから、その並列接続も対称回路になってしまうのは当たり前である。まあそういうことが解っただけでも怪我の功名としよう。 別のアプローチを考えよう。S字回路とZ字回路の並列回路として考えてみよう。 なにもそこまでしなくてもと言うかもしれないが、これも著者と同じ方法ではいけないという制約が付く以上仕方がないのである。しかし著者の解答だけ理解して素通りしてしまえば気づかずに終わってしまう隠された宝物が見つかるかもしれない。 図のように問題の回路はS字型とZ字型の2つの非対称回路の並列接続と考えることができる。最初面倒くさいなと思って気が進まなかったのだが、図を描いてみるまで気づかなかった事実を発見。S字回路とZ字回路は互いに鏡像回路となり得るという点である。Z2とZ3が同じであればまったくの鏡像回路である。Z2とZ3が異なる場合には互いに異なる非対称回路となる。 一見簡単そうに見えてこれが予想外に難しい。試験問題にはよさそうだが、捨て問題にされそうだ。確かにこんな問題今までどこでも見たことがない。もしかしてオリジナルかもしれない。 と思ったが、これもどうやらだめらしい。というのも良く考えれば上の部分回路は以下の非対称T型回路と等価になってしまう。 この2つを並列接続しても元の非対称格子型回路とは等価にならない。ということである。非対称格子型回路はそれ以上小さい部分回路には分割することができないということになる(*1。 ということで非対称の格子型回路の場合、結局のところ解法としては素直にそのまま解析するしかないという結論になる。それが解っただけでも収穫である。ふう、だいぶ遠回りをしてしまった。 多少でも著者と違う解とするために、アドミッタンス行列を求めてそれを伝送行列に変換することにしよう。 だがしかし('A`)マンドクセー ここまで回り道をすると奇妙なことに今まで出てきた部分回路が代数幾何で出てくるある概念と良く似たような感じがしてくる。おそらく回路網理論と代数幾何は表裏一体であるという直感が当たっているのかもしれない。今までに回路網理論と代数幾何学を結びつけて論じた本は見たことないが、もしかしたらそれが出来るかもしれない。それには代数幾何を学んで両者のつながりを明らかにしないといけないが。 部分回路はある程度まで分割するともうそれ以上分割できなくなる。それ以上分割しても係数が異なるだけの違いでしかない。インピーダンス一つから成る回路は分割してもやっぱりインピーダンス一つでしかない。複数の異なる部分回路を並列、直列、縦続接続することによって出来る回路も、基本的な部分回路の素子の定数が変わっただけにすぎなかったりする。 なんの話しだったっけ。ああ、非対称格子型回路のアドミッタンス行列ね アドミッタンスパラメータの各条件を当てはめてオームの法則、キルヒホッフの電流則など基本的な法則を使って端子対に流れる電流を求める基本的な解析だが結構やっかいでミスを犯しやすい ということになる。 これを例によって伝送行列に変換すると ということになる。ふう、手計算では限界を超える式の複雑さなのでMaximaに負うところ大であった。 次ぎに影像パラメータを鏡像回路と縦続接続した二種類の対称回路の伝送行列の固有値と固有ベクトルから求める。 2つの対称回路はZ2とZ3が入れ替わっただけなのでそれぞれ個別に導かなくても、一方の式のZ2とZ3を交換すれば計算を用いずとも導ける。 上記の行列F01,F02について固有値、固有ベクトルを求める。 Z02は計算を用いずともZ01の式でZ2とZ3が入れ替わったものになるのは自明。 また題意ではZ2=Z3の対称回路の影像インピーダンスを求めよということなので ということになる。 相変わらず数式の知恵の輪だ。Maximaで数式を処理すると一部展開してしまうので更に複雑となる。適宜部分式をMaximaでfactoringして確認しながら進めたが、最後のところはMaximaではやってくれないので自分で考えるしかなかった。 分母の負号が著者の解と違っているが固有値の式で(Z1Z4-Z2Z3)^2=(Z2Z3-Z1Z4)^2であるので、どちらも同じである。 さて最後の逆問題、AとCを与えられてZ1=Z4,Z2=Z3の時Z1,Z2をどのように決めるかというもの。 既にZ2=Z3という時点で回路は対称回路のためA=Dとなり、A,Cが与えられれば残りのBも線型受動回路では相反定理が成り立つのでAD-BC=1の関係から従属的に決定する。 従って伝送行列から以下の方程式が得られる これをZ1,Z2,Z3,Z4に関する連立方程式としてMaximaに与えて解くと という解が得られる。 P.S 予想外に非対称格子型回路の解析は複雑であった。得られた式の中に出現する項はありとあらゆる加算と乗算の組み合わせからなる。代数幾何ではイデアルと呼ばれる数学的対象なのだが回路網理論でその現物を見ることができるというのは面白い。この種のことは生命体のDNAの塩基配列とかにも有るんじゃないかなと勝手に想像してみたりする。宇宙の法則みたいななにかを感じる。 回り道をしなくてもいいのにと思うけど。他の誰も足を踏み入れないところを冒険するのは他の誰かをいつも頼りにするわけには行かないので自由で楽しくワクワクするものである。 コンピュータプログラミングの得意な読者はネットリストで与えられた任意の線型受動二端子対回路の影像パラメータを計算するソフトを書いてみるとよいかもしれない。意外に難しく未踏の分野であることがわかるかもしれない。ネットリストをコンピュータプログラムで扱うにはSPICEのそれを流用すればよい。本問題にあるように二端子定数を与えて回路定数を決定するような設計計算は高次の連立方程式を解く必要がある。これもまた未踏の領域である。 (*1 非対称格子型回路がそれ以上部分回路に分割できないというのは証明されていない。勝手な予測である。少なくとも単一の二端子対回路は非対称回路でも2つ以上の部分回路の縦続接続で構成される可能性が残されている。今回は並列接続に関してはどうやら分解できないらしいという予想されるというだけである。並列接続して得られる二端子対回路が非対称格子型回路と同じ4端子定数を持つような2つ以上の部分回路は存在しないという証明を考えるのは面白いテーマかもしれない。もちろんインピーダンスに任意の複素数を許せば存在する可能性は大きい。問題は受動素子(実数部が常に正)からのみなる2つ以上の部分回路の組み合わせは存在しないのではないかということである。これはもう数学の応用問題である。 |
webadm | 投稿日時: 2010-6-17 19:40 |
Webmaster 登録日: 2004-11-7 居住地: 投稿: 3093 |
続:影像インピーダンス 次ぎも影像インピーダンスを求める問題。
以下の回路の左端及び右端から見た影像インピーダンスを求めよというもの 著者は計算を少なくするために予め工夫している興味深い方法を示している。昔は計算は計算尺か対数表(吐血)を使って人間がやるしかないので時間的にも労力的にもコストが高かった。なので計算量はなるべく減らした方が良いという考えが支配的だった。Gaussは計算好きというか、計算を理論的に改良する趣味を持っていた。無理数を小数点以下できるだけ長く計算するために少ない労力で正確に短時間に済む方法を考えていたので、計算など弟子にやらせればと言われると憤慨したという。 電気回路でもこれまでの問題で見てきたようにたかがT型回路を2つ縦続接続するだけで固有値問題を解くのに大変な数式のボリュームになる。Maximaのような数式処理ソフトが傍らにあるのでなんとか扱えるが、それ無しでやるとなると転記ミスやらなにやらで手に負えないかもしれない。なので闇雲に計算に頼らずにもっと易しい別解があればそちらを見つけた方がトータルでは良い結果になるかもしれない。実務では特許とかいろいろのしがらみがあって既知の解法は使えないため多少劣った方法でも別解を使わざるを得ない場合がある。ソフトウェアでは特に物理的な見た目とか使い勝手は特許になっている可能性があるので、そのまま真似するのは禁物である。ましてや他人のコードを事前の承諾なく流用することなども。必要であれば同じことをするコードを新たにゼロから書き下ろすということも必要になる。クリーンルーム開発というやつである。ベトナムとかソフトウェア開発コストが日本の一割(関税を除く)で済むところにそうしたクリーンルーム開発を委託すれば、オリジナルのコードが少ない予算で手にいれることができる。ゼロから書くなら誰がやっても同じだから格安なとこに頼めばよいと考えるからである。しかし裏でそれがどっかに流れて似たようなものが他社でもっと短時間で開発されるというリスクはある。誰も監視できないしね。日本の大手ソフトハウスが国内で受注して開発したはずの防衛関係のソフトのソースコードを偶然関係者が眺めたら、誰も読まない中国語のコメントの中に中国人民軍所有と書いてあったとか、なかったとか。 なんの話しだったっけ。影像インピーダンスの話しだった。 出題者の意図は闇雲に時間と手間をかけて計算させることではない。二端子対回路と影像インピーダンスについて良く学んでいれば、対称回路の影像インピーダンスは両端で対称となることを知っているはずであるとふんでいる。そうすると非対称な部分だけに注意を払えばよいことになる。 そうしたベストアンサーを知りたい人は著者の解法を読んでもらうとして。ここでは別解で著者と同じ結果になるか、著者の解は正しいのかを検証することにしよう。 ここではまずへそ曲がりな発想として、問題のラダー回路を構成する部分回路に着目しよう。各部分回路はそれぞれどんな影像パラメータを持つのだろうか。そしてそれらが縦続接続した場合にどう変わるのか。これについてはどんな電気回路理論の本も扱っていない。 対称二端子対回路の伝送行列から固有値と固有ベクトルを求めることができる。非対称回路の場合にはその鏡像回路と前後2通りの組み合わせた縦続接続回路としての対称回路の固有値と固有ベクトルとして2つの異なる影像インピーダンスを求めることができる。 まず回路中に繰り返し現れる直列インピーダンスだけの部分回路はそれ自身で対称二端子対回路を構成する。伝送行列から固有値と固有ベクトル求めると なんと固有ベクトルが一意的に定まらない。強いてあるとすれば無限大のインピーダンスということになる。一方の端子対を開放した場合、他方から見た駆動点インピーダンスが無限大のインピーダンス(開放)と等しくなるからである。 もう一方のアドミッタンスのみから成る部分回路についてもやってみよう これも同じような感じ。強いて言えばゼロのインピーダンス(短絡)しかない。一方の端子対を短絡すると他方の端子対から見た駆動点インピーダンスがゼロ(短絡)と等しくなる。 実はこれ線形代数で言う固有値が重複度2を持つケースに該当する。またこれらの行列は三角行列の格好の実例である。これらは線形代数の本で必ず出てくるがいまいち実感が湧かないでいたが、こうして目前の問題として提示されると良く調べてみようという気が起きてくる。 三角行列の固有値は上記の通りいずれも対角要素そのものとなる。という当たり前のことしか大抵の線形代数の本には書いていない。これは固有ベクトルの自由度に関係するらしいがそこまで詳しく解説している本は数少ない。また重複度2の固有値に関して一つしか固有ベクトルが得られない三角行列は対角化(スペクトル分解)できないらしいが、それに触れている本も限られる。とどのつまりこれらのケースは固有値問題が解けないのではなはだ都合が悪いので華麗にスルーする必要があったわけである。こうしたケースがあるので影像パラメータと固有値問題を関連付けることはされなくなったと思われる。 三角行列そのものの都合の良い性質(固有値が一目瞭然、一般の行列は上下2つの三角行列の積に分解できる)は線形代数の応用で随所に登場する。 とりあえず先へ進もう。 伝達インピーダンスのみ、もしくは伝達アドミッタンスのみの回路の影像パラメータは上記のような感じだが。その二つを縦続接続した場合にはどうなるのだろう? 2つの相異なる対称回路を縦続接続した場合には非対称回路となる。従ってその影像パラメータを求めるには更に鏡像回路と縦続接続した伝送行列の固有値と固有ベクトルを求める必要がある。 やっと意味のある影像インピーダンスになる。もう片方についても同様に求めると 問題の回路を良く見ると、上記の非対称回路とその鏡像回路の複数の縦続接続であることに気づく。 さてこの回路とその鏡像回路の縦続接続の伝送行列の固有ベクトルを求めればよいのだが、行列の積が多いので大変な式のボリュームになりそうである。なんとか線形代数的に固有ベクトルが簡単に導けるようにならないものかのう。直感的にはわかるのだが。それでは納得が行かない。 なんかもうすっかり線形代数の応用問題みたいになってしまった。 どうすんだこれ(;´Д`)。 とりあえず問題の回路は以下の様にL型回路の伝送行列とその鏡像回路の伝送行列が交互に縦続接続されたものと考えられる。そうすると全体の伝送行列は と表すことができる。またこれは非対称回路なのでそのまた鏡像回路と縦続接続した対称回路は ということになる。 同様に逆向きに縦続接続したもうひとつの対称回路の場合には ということになる。いずれもFかF'の5乗という対称形になる。 従って問題は行列のべき乗から成る行列の固有値と固有ベクトルは元の行列のそれとどういう関係が成り立つかといいう点である。 どうやらこの問いは線形代数では伝統的に自分で解き明かすべき(自ら追体験すべき)お約束の演習問題らしい。 youtubeで見たMITのLinear Algebra講義の中でこの演習問題を明瞭快活に扱っている。受講者がその場で問題を解く追体験が出来るように自然に誘導されていく。 ここではべき乗に限らずより一般的化した命題として解いてみよう。これは「ラング線形代数(下)」に出てくる演習問題である。 線形変換行列Aとしてλをその固有値、xを固有ベクトルとした場合、 が成り立つものとする。 ここでfが多項式の場合、 が成り立つというもの。これを証明すればよい。 fが多項式であるということは命題の式は ということになる。また固有値方程式からAのべき乗に関して帰納的に が成り立つことから、これを多項式に代入すると ということになる。 従ってfとして単にべき乗が与えられた場合、固有値は元の行列のべき乗になるのに対して、固有ベクトルはそのまま変わらないことになる。 このことから問題の回路の影像インピーダンスはわざわざ回路全体の伝送行列から求めずとも以下の関係から、基本対称回路の伝送行列の固有値と変わらないことが証明された。 従って影像インピーダンスは既に導いてある式から ということになる。 ふう、すっきりした(´∀` ) P.S 対称行列を複数縦続接続した場合にその固有ベクトルが変わらないのは最初に考察した伝達インピーダンスのみの二端子対回路や伝達アドミッタンスのみの二端子対回路の伝送行列の固有ベクトルの解析結果から予想はつくのだが、一般的な対称二端子対回路についてはどうなるかを証明する必要があった。著者はそれを自明なこととしているが、工学や技術の実務ではそれは許されても理数系から見るとHeavisideの演算子法となんら変わらない。 Maximaを使って全体の回路とその鏡像回路を縦続接続した伝送行列を計算させて固有ベクトルを求めれば元の単一の対称二端子対回路のそれと同じことが確認できる。コンピュータが利用できるとどうしても力づくで結果を求める安易なアプローチに頼ると智慧が得られないという恒例である。 DirichletはGaussのD.A.を常に携えて暇さえあれば新解釈を試みていたが、その口癖は「計算ではなく思考を」というものだった。Gaussは計算の達人だったので、D.A.の証明中には人知の限界に迫る量の数式が羅列してある部分もあり難解を極めた。Dicrichletは一方でGaussに最大の敬意を持つと同時に批判的精神も持ち合わせていた。これは高木貞治にもあてはまるが、彼は自身だけはその批判の対象外としていた。高木貞治はその著書「近世数学史談」でGuassの天才としての一面だけでなくその暗黒面の両面を指摘しているものの、自らの人生もいつのまにかGuassのそれと同化していった。数学者でこのことを指摘したのは谷山ー志村予想で知られる志村五郎氏唯一人である。 Dicrichletの「Notation(記号)ではなくnotion(概念)によって」の真言はRiemannにも血脈として受け継がれていった。それは近代数学の血脈と化したといっても過言ではない。半面で近代数学は抽象的になりすぎた感があり、現実問題とのつながりを極力もたないように説明されたり教えられたりする傾向にあることは否めない。 数学は物理の世界に光りを点すと言われるように、今回の問題も線型代数的な視点でみると、闇に包まれた部分が著者の解答にいくつも残されていることを明るみにすることができた。同様にいくつか光があたったものの、その姿を正確に捉えることができないものがいくつか残されている。例えば、非対称回路の伝送行列の固有値と固有ベクトルがその鏡像回路と縦続接続してできる2組の対称回路の固有値と固有ベクトルとどういった関係があるのか。予想ではそれは複素共役と良く似た関係があるように思える。それぞれの和と差を計算してみると、何かの二倍となるとか、伝達定数(固有値)が二分割した回路のそれぞれの伝達係数の和に等しくなる点とか。また2組の対称回路の固有値は同じであることを自明として扱ってきたが、ちゃんと証明してはいない。 少なくともこれらの疑問に明快に結論を出すには数学的な視点や考え方、論理が不可欠である。数学者になる必要はないが数学をお友だちにすることは非常に頼もしい。 かつての日本は勤勉さを売りにしてきたが、同じ水準の勤勉さだったなら工数単価の安いアジアの中国やベトナム、韓国、北朝鮮に敵わないだろう。そう考えると日本の将来がどういった方向に向かうべきかは自ずと見えてくる。 |
webadm | 投稿日時: 2010-6-17 16:21 |
Webmaster 登録日: 2004-11-7 居住地: 投稿: 3093 |
影像インピーダンス 次ぎは影像インピーダンスの理解を試す問題。
以下の回路で端子対1-1'から見た駆動点インピーダンスがZ01に等しく、端子対2-2'から見た駆動点インピーダンスがZ02に等しくなるようにするにはZ01,Z02をどのように選べば良いか導けというもの。 影像インピーダンスの問題だと気づかないと大変難しい問題となる。問題文には一言も影像インピーダンスとは書いていないので用語と公式一夜漬けだと落とす問題。実務でもそういわれれば知っているが、言われるまでそうとは気が付かないということがよくある。 影像インピーダンスを導く問題だとわかれば簡単だが、そうとわからないようにしているところがひっかけ問題である。 著者の解答は記憶力優秀で公式を正確に記憶して思い出せる場合の解答である。 しかし人は思い出した時には既に記憶があやふやだということが少なくない。Z01=sqrt(AB/CD)だったかな、いやAC/BDだったかもしれないとか、いろいろ組み合わせがあったのを思い出してしまってどれがどれだか混乱してしまう。大抵そういうときは間違った記憶に基づいて計算して出来たつもりになってしまう。計算自体は式が間違っていても結果は出るからね。 ここではずぼらな一夜漬けもせず暗記もしない、もしくは一夜漬けはしたけど肝心の公式を忘れてしまったという場合の解法をやってみよう。公式を忘れても固有値問題のことを忘れていなければ問題ない。 最初に二端子対回路としての伝送行列をもとめると3つの部分回路に分けてその縦続接続とすれば 次ぎに端子対2-2'に鏡を置いて端子対1-1'から眺めたような対称回路の伝送行列を求めてその固有ベクトルとして影像インピーダンスZ01を求める。 同様に反対向きも ということになる。 ところで既に賢明な読者は2つの対称回路で違うのはZ1とZ3の位置だけだということにお気づきだろう。Z02は計算せずともZ01の式のZ1とZ3をスワップすれば良い。 元の回路が対称回路の場合にはZ1=Z3であることから ということになる。 P.S 前問と同じだという思われるかもしれない。その通りだ。馬鹿の一つ覚えというやつである。(゚ε゚)キニシナイ!!(゚ε゚)キニシナイ!! |
webadm | 投稿日時: 2010-6-17 5:13 |
Webmaster 登録日: 2004-11-7 居住地: 投稿: 3093 |
続々:影像パラメータ 次ぎは影像パラメータを求める問題。
以下の2つのL型回路の伝送行列と影像パラメータを求めよというもの。 著者のとは違う方法で求めてみよう。 ストラテジーとしては伝送行列を2つの部分回路の縦続接続として導いた後、その鏡像回路と縦続接続した対称回路の伝送行列の固有値と固有ベクトルとして影像パラメータを導く。 左端の回路の伝送行列F1は 次ぎに鏡像回路との従属接続した対称回路の固有値と固有ベクトルとして影像パラメータを求めると ということになる。 一方右端の回路の伝送行列は 従って影像パラメータは ということになる。 P.S 二つ目の回路で対称回路の伝送行列が間違っていて期待と違う計算結果しかでなくだいぶ悩んだのは内緒だ。転記した際に間違えたのかもしれないが、幸いもう片方の対称回路で固有値と固有ベクトルをMaximaで計算をやり直したら期待した結果がでたので間違いだとわかった。 計算結果があっているかどうかは、(1)固有値を固有値ー固有ベクトル方程式に代入してみて行列式の値がゼロになるかどうか確認する。(2)4端子パラメータの影像パラメータ表現式に得られた影像パラメータを代入し元の4端子パラメータと一致するか検算することで確認できる。 面倒でパズル的な固有値の素因子分解は最初自分でやったが、後半はMaximaを使用した便利である。 |
webadm | 投稿日時: 2010-6-13 5:07 |
Webmaster 登録日: 2004-11-7 居住地: 投稿: 3093 |
続:影像パラメータ 次ぎは影像パラメータの応用問題。
以下の二端子対回路の影像パラメータをZ01,Z02,θとするにはZ1,Z2,Z3をどのようにすればよいか求めよというもの。 まず題意を理解する必要がある。これはこれまでの問題と趣旨が違って、解析的ではなく設計的な問題である。 今までは影像パラメータを予め与えられた何かで表せというものだった、これは言い換えると影像パラメータが他の何かのパラメータから一意に決まる関数だということと、その関数の式を明らかにせよというものだったが、これは影像パラメータとそれを実現する回路の形が予め指定されていて、未知数である素子の定数を決定せよというもの。 設計問題は解析問題の逆問題である。これまでに影像パラメータは以下の通り4端子定数の関数として表されることを知っている 今度の問題は逆にT型回路のZ1,Z2,Z3が影像パラメータの関数で表されるとしたら、それはどういった関数になるかというもの 考えられる解法のアプローチとしてはZ1,Z2,Z3を不定元としたままで影像パラメータをZ1,Z2,Z3の関数として導き、連立方程式としてZ1,Z2,Z3を解くことが考えられる。 しかしこれは以前の問題でも4端子定数で表された影像パラメータの式から逆に4端子定数を影像パラメータで表す式を導出する際でも試みたが方程式は得られるがそれを解くのは人間がやっても容易ではないし、ましてやMaximaでは解けないことが判っている。本当かどうかは実際にやって確かめてみればよい。 従ってこのアプローチは早々に捨てて別のアプローチを探る必要がある。 既に4端子定数が以下の通り影像パラメータの関数として表されることを知っている ならばZ1,Z2,Z3が4端子定数の関数として表すことができれば、それは影像パラメータの関数でもあることになる u1,u2,u3,u4は既知なので、v1,v2,v3がわかればA,B,C,Dをu1,u2,u3,u4で置き換えたものがg1,g2,g3ということになる。 長々となったが、著者の解も基本的には同じアプローチをとっている。著者はオーソドックスな代数操作で結果を得ているが、こちらはそれとは違う線形代数的手法でやってみよう。 さてここで足踏み状態。オーソドックスな式の代入とか操作なら著者の解と何一つ変わらないので意味が無い。理論の時に試みようとしたが壁にぶち当たってしまった。同じ課題に直面している。どうしても元の回路にアドミッタンス要素があるので有理式が出てきてしまう。それをインピーダンスに直すと今度は不定元の二次式になってしまう。二次形式を使わないと行列では表現することができない。二次形式をどう扱えばよいかは勉強していないので解らない。 歴史的には線形代数よりも二次形式の方がずっと古い。古くはDiophantusに始まり、彼の著書にインスパイアされたFermatによって重要な課題がいくつも見いだされ、以後Eulerや多くの数学者がその課題に挑んできた。GaussによればLagrangeが既に多くの発見をしており、その後を継いだのがLegendreだが近代数学に至る道を切り開いたのがGaussであった。Gauss以前の数学者は個々の特殊な問題に対する興味深い発見を提供したが、一般化を目指すものではなく発展性もなかった。それら散在する発見をひとまとめに包含しそれを超える一般論を構築したのがGaussの天才性である。Gaussはそれを20代で成し遂げて著作にしたのだが、その時代には行列も行列式も代数理論も無かったもののGauss自身は生来の天才性で近代に通用する代数的概念を常識的に利用していた。後生になってDirichletがGaussの著書を常に携帯し急発展してきた代数理論と照らし合わせて解釈するという偉業を成し遂げた。Dirichletはそれを講義でしか公開しなかったので、後にDedekindがそれらを著書にまとめた。Gaussの著書"Disquisitiones Arithmeticae"(略してD.A.と呼ばれる、日本語訳では"ガウス整数論"として知られる)数学史上の遺産だがそれを近代的な代数理論で再構成し平易化したDirichlet-Dedekindの"Vorlesungen uber Zahlentheoric"(日本語訳本"ディレクレ デデキント整数論講義")は代数的数論論のバイブルである。 実のところこの問題はそういった数学の血脈につながるものがあるのだが、そうした方向に目を向かせると電気回路理論の本道ではなく脇道にそれ近代数学の世界にワープしかねないブラックホールが潜んでいるので、絶対にそのブラックホールに近づかないように安易な解法を教えてしまうことにしているように見える。こっから先は闇だと言うと若い人は好んでそっちへ行こうとするので、その道の存在自体を教えなければ良いのである。 そもそも電気回路を代数的に扱おうとする時点で、こうした近代数学理論へつながるブラックホール(境界領域)はいたるところに潜んでいる運命にある。残念ながら大学ではそんな脇道にそれていたら満足に卒業できないので時間の都合上脇目をそらせないように教える必要があるわけである。しかし独学だとそういった結界は無いので、境界領域のその先を覗き見することは自由である。 二次形式はそんなわけで、歴史的には線形代数よりも遙かに歴史は古いが固有値問題よりも後にならないと教えられない。 しばらく二次形式について勉強してくる(;´Д`) ふう、二次形式を調べているつもりだったけど、とっくに通り過ぎて代数幾何やグロブナー基底の世界やら非線形方程式や無理方程式を眺めてた、最近の学校はエクセルで方程式の解法を教えるのね。 結局自分の納得の行くやり方は見つからず。自分でゼロから考えるしかないという結論に。 最初からやってみると、まず問題の回路の4端子定数を導いてみよう。Z1,Z2,Z3それぞれひとつだけから成る部分回路の従属接続として計算することができる。 この結果から逆にZ1,Z2,Z3を解こうとしてもMaximaでは解けない。中学生で習う代入法を使えばC=1/Z2からZ2=1/Cが、それをAの式に代入してA=1+CZ1からZ1=(A-1)/Cが導かれそれらをBかDの式に代入すれば残りのZ3が導かれる。それがMaximaでは出来ないというのがsolveで実装されているアルゴリズムの守備範囲で無いということだろうか。しかし代入法以外に解法はないのかという納得がいかない疑問が残る。連立方程式に二次と一次の項が混じっているのが原因かもしれない。二次の項だけなら過去さらりと解いているし。 それで二次形式を勉強している間に重要な事に気づいた。二次の項が伴うだけで既に線形ではないということである。また二次の項のみなら二次形式で表されるが、一次の項が混じるとそうはいかない。それに早い時点で気づくべきだった...orz 二次形式は二次同次多項式のみを対象とするのに対して、二次曲面は二次方程式一般を対象とするため、そちらを勉強すべきだった。実は二次曲面を扱っている線形代数の本もある。既に線形ではないのにどういうことだろう。 実は一般的な二次方程式は適当な座標軸をうまくとると二次形式で表される。それによって得られる二次形式はいくつかの種類のどれかになる。 一般の二次方程式の二次の項は二次形式で以下の様に行列表記される 残る一次の項は 従ってn元の二次方程式は一般に と行列表記することができる。 ここでxがx'から座標軸の回転と並行移動を施したものとすると と書き換えることができる。 ここで以下が成り立つように並行移動量x0を適切に選ぶと b'=0となるので という標準形となり二次形式論とつながる。 二次曲面は二次元の場合、線形変換Aと回転Pと並行移動x0によって1点、円、楕円、双曲線、2直線、1直線、放物線、空集合のいずれかをとる。 3次元の場合には同様にして楕円面、一様双曲面、二葉双曲面、推面、楕円放物線、双曲放物線、楕円柱面、双曲柱面、交差2平面、放物柱面、並行2平面、1平面、1直線、1点のいずれかになる。 従って先の連立方程式の解はそれぞれの方程式が与えるすべての二次曲面が交わる点の集合である。実際に3次元と行っても複素数なので普段見慣れている三次元空間の曲面とは厳密には同じではないが、数式上では同じように扱うことができる。 歴史的には二次形式論がずっと古く線形代数や代数幾何は戦後に後から構築されたのだが構造的には新しい順から学んだ方が体系的には見通しが良くなる。しかし歴史的な経緯で戦前や戦後の線形代数も代数幾何もまだなかった頃の二次形式論が長い間教えられてきた関係で上記の二次曲面(二次曲線)論と二次形式論の講義の順番はまちまちである。 さてこっからどうすんだ(;´Д`) ふと思い立ってA,B,Cに関する連立方程式のみMaximaに与えたらあっさり解けた...orz Maximaはいったいどうやって解いているんだろ。確かにA,B,C,Dは一次独立ではないので行列Rank=3で3つが決まれば十分なのだけれども。 上記のA,B,Cにそれぞれ影像パラメータ表記を代入すると ということになり著者と同じ結果が得られる。 これでよしとしよう。 |
webadm | 投稿日時: 2010-6-12 22:30 |
Webmaster 登録日: 2004-11-7 居住地: 投稿: 3093 |
影像パラメータ ふう、前問で一週間も費やしてしまった。
次ぎの問題も影像パラメータ関連。 2つの異なる影像パラメータ(Z01,θ1,Z02とZ02,θ2,Z03)を持つ二端子対回路を縦続接続した場合に、全体の回路の影像パラメータがZ01,θ1+θ2,Z03となることを証明せよというもの。 またこのような二端子対回路がn段縦続接続される場合はどうなるかというもの。 図に描くと 縦続接続された回路の4端子定数を求めてみると 従って影像パラメータはZ01,θ1+θ2,Z03ということになる。 またn段縦続接続される場合には帰納的に となることから影像パラメータはZ01,θ1+θ2+...+θn,Zn+1ということになる。 |
webadm | 投稿日時: 2010-6-5 13:44 |
Webmaster 登録日: 2004-11-7 居住地: 投稿: 3093 |
影像パラメータと4端子定数 次ぎの問題は影像パラメータと4端子定数の関係式を導出せよというもの。
すなわち2端子対回路の影像パラメータを4端子定数で、また逆に4端子定数を影像パラメータでそれぞれ表せという意味になる。 理論の時にも一度やったが見通しが悪かったので、見通しの良い線形代数的手法で再挑戦してみよう。 理論の時に一通り導いたはずだが、別のやり方で同じ結果を導こうとすると実は良く解っていなかったということが判明する。前にやったやり方は理解していてすぐ同じように導出できるのだが、解っていないというのは、それが数学の対象としてどんな扱いになるのかという点である。別のやり方を考える場合にそれが解っていないと致命的である。 影像パラメータは2つの影像インピーダンスと伝達定数の3つから成るが、4端子定数が変わればそれに依存して変わっていく、それは数学的対象として見た場合に4端子定数に対して幾何学的に何に相当するのかという点である。確かに影像インピーダンスも伝達定数も定数であり複素数であるのでベクトルとしても良いが、それら解の集合が存在する代数多様体はどんな形をしているのかといった点である。実はそんなことが解っていなかったというか知ろとしてなかったのである。 単純に電気回路の基礎知識というのであればそんなことは気にせずに試験問題のパターンを暗記して短時間に答えを見いだせばよいのだが、実務で今まで誰も考えたことのないような視点で考え直す必要が生じる場合にはそういったスキルは微塵も役にたたない。理数系の人は本質を見抜くことに徹して、応用や重箱の隅(境界領域)の問題には興味を示さない。工学系は応用と重箱の隅が死活問題なのとは大違い。それだからこそ工学系も本質を見抜く力がないと袋小路に陥って抜け出せなくなる。 要は影像パラメータの数学的な本質を知らないと見通しの良い形で関係式を導出することはできないということであった。 この件についてはまだ時間を要するので、先に残りの問題をしばらく並行して進めることにする。これは試験問題ではないので、時間的な制約は設ける必要がないのである。 いずれにしても線形代数的手法は信号処理や先端の工学理論ではもはや避けて通れないため身に付ける必要がある。したがって「理論の時にやってしまったので割愛する」ということでお茶を濁すことにはしたくないつもりである。 ようやく光明が見えた(2010/06/08) 数学者は問題解決の経緯を明かすことめったにないが、ここはおもちゃ箱なので経緯も楽しむ。 最初に上の図の回路を以下の様に行列表記をしてみることからはじめよう。 しかしひとつの式にZ01,Z02,I1,I2と4つの不定元を含むので結局行列を展開して以前やったようにZ01=E1/I1,Z02=E2/I2の式に代入して連立方程式として別途解くということになってしまう。これでは何も変わらない。 一発でZ01なりZ02を見いだすアプローチはないものか。ここ数日の間、新しく購入した線形代数のテキストを読んだり、YoutubeでMITやインドの大学の線形代数の講義を眺めたりしているうちに今朝名案を思いついた。 最初からZ01、Z02の片方を消去する方法があった。それは先の二端子対回路の入出力方向をひっくり返した鏡像回路を元の2端子回路に縦続接続すれば両端の影像インピーダンスがZ01になる。2つの二端子対回路を更にひっくり返せば両端の影像インピーダンスがZ02になる。これで式を立てればZ01かZ02のいずれかしか現れないことになる。 図で表すと やってみよう、二端子対回路の鏡像回路の4端子定数はAとDが逆になるだけなので ということになる。これは線形代数の固有値ー固有ベクトル方程式(eigenvalue-eigenvector equation) である 影像インピーダンスを求める問題は固有ベクトル(eigenvector)を求める問題だったわけである。それを最初に教えてくれれば面倒くさい導出手順を暗記しなくて済むものを。ほとんどの電気回路理論の教科書がこの事実を言及しない(*1)のはただでさえ難解な線形代数とつながってしまうと学生がついてこれなくなることを恐れてのことだろう。確かに学生の頃に線形代数は数学のカリキュラムに入っていたはずだが、準備的な行列と行列式の部分しか記憶に残っていない。固有値と固有ベクトルを身近に感じたのは今朝この発見が生まれて初めてだ。 まあ固有値問題や固有ベクトル(主成分とかスペクトルとも呼ばれる)問題は最先端の工学領域ではありとあらゆるところに存在するので避けて通れない(Googleの検索エンジンの中心にあるPageRankアルゴリズムも固有ベクトル問題の一種のソルバーらしい)。最先端理論を必要としない業務にはそれらは既に解かれているので直面することはない。 線形代数の主題はこの固有値ー固有ベクトル問題なのだが、それを学ぶための準備で大半の時間が費やされてしまって固有値ー固有ベクトル問題にたどり着かないか、最期の講義時間でちょっと出てくる程度だったりする。数学の授業は歴史的な順番ではなく構造的な順番で教えることになるので主題は一番最期に登場する(あるいは時間切れでそこまで進まずに終わってしまう)ことになる。本当は歴史を辿る意味で問題が先にあって、先人がどのようにそれを攻略していったかというのを学ぶやり方もあるのではないかと思う。 いずれ別の機会に紹介するが、最近読んでいる線形代数のテキストはちくま学芸文庫からつい先日復刻されたSerge Langの「ラング線形代数学(上)(下)」である。注文して届いたら文庫本サイズで電車の中やホームでも立ったままいつでも読めるのが嬉しい。それと線形代数の本ではないが岩波文庫にある高木貞治の「近世数学史談」も文庫本なのでずっと持ち歩いて面白く何度も読み返している。高木貞治は数学歴史話の講談師のごとく、まるで18世紀や19世紀の西欧の数学界を見てきたような語り口で生き生きと伝えている(高木貞治は事実戦前ドイツの最先端数学界隈に居て西洋数学の血脈を受け継いで日本に帰国した人と言える)。読む物を19世紀にタイムワープして大数学者と隣り合わせて居るような不思議な体験をさせてくれる。名作で抱腹絶倒、涙無くして読めないそんな本である。かのフェルマー予想を解く鍵となった谷山・志村予想に名を残す谷山豊はこの本を読んだことから数学者を志したらしい。 なんの話しだったったけ。ああ線形代数のテキストね。というわけで市販の入門書では上記の固有値ー固有ベクトル方程式を解く方法についてはページを割いていない。実はこの分野は未だに終わっていない分野ですべてを書ききれない程ある。 固有値問題についてはそれだけのために書かれた専門書がまた別にある。当然ながらそれらも入手済みであるが、紹介はまた別の機会にしよう。 さて次ぎは先の方程式を解いて固有ベクトルの値であるZ01を求めなければならない。 線形代数まだ勉強中なのに、どうすんだこれ(;´Д`) 実はMaximaには変換行列を与えれば固有値ー固有ベクトル方程式を解いてくれる機能が備わっている。実際にやってみると 結果の最初の2つは固有値を表し、次ぎの2つがその多重度、それに固有値に対する固有ベクトルが並んでいる。固有ベクトルは2つあるが、線形受動回路ではZ01の実数部が常に正の値であることから、 ということになる。従ってZ01は と導かれる。 またこの時の固有値に注目すると つまり伝達定数を求める問題は固有値を求める問題である。すなわち影像パラメータを求める問題は固有値ー固有ベクトル問題に帰着する。 Z02についても変換行列の順序を交換すればよいので 従ってZ02は ということになる。 なんだ簡単じゃないか(´∀` ) これだとMaximaがどうやって固有値や固有ベクトルを導いているか皆目わからないので、先の固有ベクトル方程式を自分で解いてみよう。 それに先だって線形代数を固有値問題まで勉強しないと(;´Д`) 固有値問題は数学的にはかなり事前準備と関連定理や補題が山ほどあるので後回しにして、他に発見された重要な事実について述べておく。 ・非対称な二端子対回路をその鏡像回路と縦続接続すると全体としては対称な二端子対回路になる。 ・この対称な二端子対回路の両端の影像インピーダンスは反復インピーダンスそのものである。 ・縦続接続された二端子対回路が対称回路なら対称回路を縦続接続しても対称な二端子対回路になるから伝搬定数は元の二端子回路の伝搬定数の2倍になる(非対称の場合には2つの異なる方向の伝達定数の和となるのでその平均値が伝達定数となる)。 ・これらのことから反復パラメータ(反復インピーダンス、伝搬定数)を求める問題もまた固有値問題に帰着する 理論の時に影像パラメータと反復パラメータが同じ物であることを直感したのだが、まんざら間違っていなかったようだ。どちらも回路そのものが生来持つ固有値と固有ベクトルで表される。 線形代数の本はどれも数学者が書いたものなので数学的な厳密性や伝統(メンツ)を保っているため、手っ取り早く固有値問題だけ理解したいという工学系の輩には理解不能である。電気回路ではn次元とか一般的な問題は当座は必要なく、二次元行列の固有値問題だけで良いのだが、それだと数学的には意味が無いので講義の時に受講者の関心を引くためのネタに使うことはあってもそれを書物で扱うことはない。あっても帰納法でn=2から順番に試してnが任意の自然数でも成り立つというのを証明するぐらいである。n=2だけでとりあえず十分なんだけど、どうしてもnが任意の一般形を扱う形になってしまう。 それと交流回路では複素数が基本だが数学的には複素数を扱うと実数の場合と同じではないので更に余計な拡張定理を証明していかないといけない。なので入門書の類ではページ数の制約から実数に限定したものも少なくない。実際実数だけで済む応用分野(経済とか統計、ファイナンスとか)も多いのでそれでもそこそこ本が売れる。しかし複素数を元とする場合にそれらがそのまま成り立つかというと厳密には否であるわけで。なんとも微妙なところである。 それと専門的な固有値問題の本では主に代数的に解けない5次元以上の行列を扱う方法が中心的となる。5次元以上の変換行列では特性方程式の次数が5以上になるため代数的には解けない(解の公式が存在しない)ためである。従ってなんらかの反復アルゴリズムによってケースバイケースで解を求めないといけない。それをなるべく有限で短い時間で行う方法が今日まで様々なものが考案されていてその紹介に多くのページが必要となる。これも今のところ二端子対回路では要らない。 なので結局自分でゼロからn=2の行列で複素数を元とする固有値問題の解法を考える必要がある。そんなのは理数系から見ると中途半端な仕事なので誰からも評価されないのは明らかで手を付けないわけだよね。工学系は必要なので各自自分で考えるしかないと。 さてここから影像パラメータを固有値と固有ベクトルから導出してみよう。数学的に厳密な証明を抜きに要点だけをプロットすることにする。線形代数の本では様々なケースについて検討されているが当面今の問題を解く上で必要なもの以外はとりあえず無視する。 最初に疑問に上がるのが固有値や固有ベクトルって何?という点である。これについても一応自分なりに当座納得できる解釈を図で示そう。 先の問題では入力端子対条件を数ベクトルQ、出力端子対条件を数ベクトルPで表したが、元の二端子対回路とその鏡像回路の縦続接続点の端子対条件をR(E3,I3)としよう。元の二端子対回路のF行列をF,その鏡像回路のF行列をFiとするとそれらを縦続接続した回路全体のF行列はL=F.Fiとなる。これらの関係を幾何学的に図で表すと 出力ベクトルPは後段の鏡像回路の変換行列FiによってRに写像され、Rは前段の二端子対回路の変換行列FによってQに写像される。一般にはPとQは変換によって異なる(互いの駆動点インピーダンスがZ01と異なる)ものになると考えられる。 ところが駆動点インピーダンスが他方の端子対に接続されたZ01と等しくなるようにZ01をうまく選ぶことが出来るとすれば、この時のλ=E1/E2=I1/I2が固有値、Z01が固有ベクトルの構成要素に該当する。λとZ01はE1,I1,E2,I2の大きさによらず一意的に回路パラメータから決まることになる。交流回路ではE1,I1,E2,I2は複素数なのでZ01,λも当然ながら複素数定数となるので、実数での固有値と固有ベクトルのようにP,Qが同じ方向を持ちスケール(λ)だけ違うというようにはならないが実数だとすると図のような関係になる。複素数だと説明に苦慮する部分だ。 次ぎの疑問ははたしてそういったZ01が存在するのだろうか?という点である 先の固有値ー固有ベクトル方程式を変形すると を満たす非自明な解が存在しなければならないことを意味する。ここで自明な解とはx=0である。 係数行列に逆行列が存在すると上の式の両辺にその逆行列を乗じると ということになりx=0以外の解は存在しないことになり非自明な解が存在するという前提と矛盾する。したがって非自明な解が存在するには係数行列の逆行列が存在しないことが必要条件となる。 逆行列が存在しないとはどういうことか? それは線形代数の行列と行列式を学んでいればわかる通り、行列式が0となる特異行列(singular matrix)には逆行列が存在しないということである。逆行列の要素の分母は元の行列の行列式となるのでそれが0だと要素が不定となり逆行列が得られないことになる。 その係数行列とその行列式は ということになる。従って行列式の値が0(特異行列)となるλは ということになる。これがこの縦続接続回路の固有値である。 先の固有値ー固有ベクトル方程式でλが既知となって不定元でなくなると残る不定元xに関する斉次方程式となるので固有ベクトルxを解くことができるはずである λ1,λ2についてそれぞれ固有ベクトルxを解くと ということになる。これは実数部が負なので線形受動回路の影像インピーダンスとしてはあり得ない。 同様にλ2に対する固有ベクトルを解くと ということになり、今度は実数部が正なのでこれが影像インピーダンスの片割れということになる。 同様に伝達定数θもλ2の自然対数を二分の1したものとして求めることができるのはMaximaで得た結果で既に示した通り。 同様にZ02はもう片割れの縦続接続回路(変換行列の順番を入れ替えたもの)の影像インピーダンスを求めればMaximaで解いたのと同じ結果が得られる。 なんとなく狐につままれた気がしないでもないが。とりあえず今日の時点ではここまでにしておこう。数学的に厳密にこれが影像パラメータと同値かどうかというのを証明していないので仕方がない。ただ固有値ー固有ベクトルとして憶えたほうが導出の見通しが良いのは確かだ。憶えておく必要があるのは「影像パラメータは固有値と固有ベクトルから成る」の一つだけだから。 さてあと残るは4端子定数を影像パラメータで表すという問題。 理論を学んだ時になんとか姑息な手段で導くことはできたが、もっと見通しの良い方法はないものだろうか? すでに影像パラメータを4端子定数で表した以下の関係式を得ているので、これを4端子定数に関する連立方程式として解けばよさそうに一見思える しかしこれをMaximaに与えて解かせてみると解けない。理論の時にやったようにヒューリスティックな思考錯誤方法なら解は見いだせる。しかしやってみないと解らない方法では見通しが悪すぎる。 別のアプローチとして固有値ー固有ベクトル方程式を以下の様に行列展開すると これらの結果から以下の連立方程式が得られる これをMaximaに与えて解くと という結果が得られる。Maximaではさすがに複素双曲線関数で置き換えるところまではやってくれないので、自分で整理すると 線形受動回路ではB,Cの実数部は常に正でなければならないので後者が解となる。 題意では影像インピーダンスを4端子定数で表すことだけ求めていたのでこれは余分だったかもしれない。 Maximaは簡単に解いてしまうが、手計算で解こうとするとA,B,C,Dに関する二次形式になるため、線形代数的にそっからどうすればいいかわからない。これは読者の課題としよう(´∀` ) P.S 実はMaximaで固有値ー固有ベクトルを求めた結果の形式と合わせるために固有ベクトルの形式を意図的に変形している。自分で計算する分にはx=matrix([Z01],[1])のままで良いのだが、Maximaはx=matrix([1],[1/Z01])の形にしてしまうようだ。固有ベクトルの標準化とか正規化のたぐいだと思われるがそれ以上詳しいことは現時点ではわからない。 P.S 片方の端子対に接続されたZ01を変化させた場合に他方の端子対から見た駆動点インピーダンスがどのように変化するのかプロットしてみたかったが、Z01は複素平面のあらゆる点を取り得るので、駆動点インピーダンスは複素平面そのものの等角写像となりRiemann面を考える必要がある。時間があったら簡単な非対称2端子対回路を例にやってみたい。どこかでZ01と駆動点インピーダンスがぴったり一致する点が現れるはずである。 P.S (*1)後で良く見たら何度も登場している「回路網理論I」の反復パラメータのところで以下の通りしっかり書いてあった...orz そうだよね。Sパラメータが先に出てきてイメージパラメータと反復パラメータをそこから導出している難しいとこだったので読み飛ばしていた。 これも独力で同じ着想に到達したのだから良しとしよう。 P.S その後の大学課程「電気回路(2)改訂第3版」では「回路網理論I」にあった固有値や固有ベクトルに関する記述は一切消えている。その間になにか支障があったのだろうか。確かに複素数の固有値ー固有ベクトルは実数のそれと比べて難しく直感的に捉えにくい。特に電気回路では固有ベクトルがそのまま端子対条件とはならないので更に説明がややこしくなる。 |
« 1 2 3 (4) 5 6 7 » |
スレッド表示 | 古いものから | 前のトピック | 次のトピック | トップ |
投稿するにはまず登録を | |