数理解析研究所講究録
第 1650 巻 2009 年 136-153

136

ヘビサイドケーブル,

トムソンケーブルと関連するソボレフ型不等式の最良定数
亀高惟倫, 武村一雄 (日大生産工), 山岸弘幸 (阪大基礎工),
永井敦 (日大生産工), 渡辺宏太郎 (防衛大)
伝送線の集中定数モデルであるヘビサイドケーブルとトムソンケーブルの出力電圧の絶対値の最大値の 2 乗は, 入力電圧のパワー ($L^{2}$

ノルムの 2 乗) の正定数倍で上から評価される (ソボレフ型不等式). 最良定数を回路定数の関数として求めた.
第 I 部では,特性多項式がフルウィッツ多項式であるような高階常微分方程式をフーリエ変換で扱った. グリーン関数が定義するグリーン作用素の $L^{2}(-\infty, \infty)$ から $L^{\infty}(-\infty, \infty)$ への作用素ノルムを特性根と特性係数の有理式で表わした.

第 II 部では, 第 I 部の結論をヘビサイドケーブルとトムソンケーブルに適用し,その入出力の関係を調べた.

I

フルウィツツ型グリーン作用素の作用素ノルム1$n$階常微分方程式の境界値問題

任意の $f(t)\in L^{2}(-\infty\dagger\infty)$ に対し, 次のような$n$階常微分方程式に対する境界値問題を考える.

BVP$\{\begin{array}{ll}P(d/dt)u=f(t) (-\infty<t<\infty) (1.1)u^{(i)}(t)\in L^{2}(-\infty, \infty) (0\leq i\leq n) (1.2)\end{array}$

特性多項式$P(z)= \prod_{j=0}^{n-1}(z+a_{j})=\sum_{j=0}^{n}p_{j}z^{n-j}$$(p_{0}=1)$(1.3)

は実係数の重根をもたないフルウィッツ多項式とする. すなわち次の同値な 3 つの仮定のどれかをみたすとする.
仮定 1.1$a_{i}\neq a_{j}(0\leq i<j\leq n-1)$ ,${\rm Re} a_{j}>0(0\leq i\leq n-1)$

137

仮定 1.2$l,$$m=0,1.2,$$\cdots,$$n=l+2m\geq 1$ に対し$(0\leq i<j\leq n-1)\dot{\prime}$$a_{i}\neq a_{j}$.

$a_{t+m+j}=\overline{a}_{t+J\prime}$${\rm Re} a_{t+j}>0$,$a_{j}>0$$(0\leq j\leq l-1)$${\rm Im} a_{l+j}>0$$(0\leq j\leq m-1)$

仮定 13

GCD. $(P(z)iP’(z))=1$ ,$D_{k}=|Parrow i+2j+1|_{0\leq i,j\leq k-1}>0$$(k=1,2, \cdots, n)$

ただし $p_{k}=0$ $(k<0$ または $k>n)$ .
$f(t)$ のフーリエ変換を$f(t)$$arrow^{\wedge}$$\hat{f}(\omega)=\int_{-\infty}^{\infty}e^{-\sqrt{-1}\omega t}f(t)dt$

BVP をフーリエ変換すると $z=\sqrt{-1}\omega$ として
BVP

とする.

$\wedge$$\{\begin{array}{ll}P(z)\hat{u}(\omega)=\hat{f}(\omega) (-\infty<\omega<\infty) (1.4)(1+|\omega|)^{n}\hat{u}(\omega)\in L^{2}(-\infty, \infty) (1.5)\end{array}$となる.

BVP の唯一つの解は$u(t)= \int_{-\infty}^{\infty}G(t-s)f(s)ds$

となる.

(1.6)

$(-\infty<t<\infty)$

ただしグリーン関数は$G(t)= \frac{1}{2\pi}\int_{-\infty}^{\infty}e^{\sqrt{-1}t\omega}\hat{G}(\omega)h^{\backslash }$$\hat{G}(\omega)=1/P(z)$

(1.7)

である.
$|P(z)|^{2}=$$\prod_{j=0}^{l-1}(\omega^{2}+a_{j}^{2})\prod_{j=0}^{m-1}((\omega+{\rm Im} a_{l+j})^{2}+({\rm Re} a_{l+j})^{2})((\omega-{\rm Im} a_{l+j})^{2}+({\rm Re} a_{l+j})^{2})$となるので, 不等式$\delta_{1}(1+|\omega|)^{n}\leq|P(\sqrt{-1}\omega)|\leq\delta_{2}(1+|\omega|)^{n}$$(-\infty<\omega<\infty)$

138

が適当な正定数$\delta_{1},$$\delta_{2}$について成り立つ.
$arrow^{\mathcal{G}}$$L^{2}(-\infty, \infty)\ni f$

なるグリーン作用素$\mathcal{G}$$\mathcal{G}f\in W^{2,n}(-\infty, \infty)$を$( \mathcal{G}f)(t)=\int_{-\infty}^{\infty}G(t-s)f(s)ds$

で定義するとき2$\mathcal{G}$

したがって

(1.8)

$(-\infty<t<\infty)$は有界作用素である.

結論
結論は次のようである.

定理 2.1(1.8) で定義されるグリーン作用素は, ヒルベルト空間 $L^{2}(-\infty:\infty)$ から

バナッハ空間$L^{\infty}(-\infty\dot{/}\infty)$への作用素$L^{2}(-\infty’\infty)\ni f$$arrow$$\mathcal{G}f\in L^{\infty}(-\infty, \infty)$としての作用素ノルムは(2.1)$\Vert \mathcal{G}\Vert=\Vert G\Vert=\sqrt{\int_{-\infty}^{\infty}|G(t)|^{2}dt}$である.

この定理は次のようにいってもよい.
定理 22$u^{(i)}(t)\in L^{2}(-\infty, \infty)(0\leq i\leq n)$なる任意の $u(t)$ に対し,$u(t)$ によらない正定数 $C$ があって, ソボレフ型不等式(2.2)$( \sup_{-\infty<s<\infty}|u(s)|)^{2}\leq C\int_{-\infty}^{\infty}|P(d/dt)u(t)|^{2}dt$が成り立つ.

$C$のうち最良のものは(2.3)$C(n)= \Vert G\Vert^{2}=\int_{-\infty}^{\infty}|G(t)|^{2}dt$である. 上の不等式で $C$ を $C(n)$ で置きかえるとき, 任意の実数$c$に対し $u(t)=cU(t-t_{0})$$(-\infty<t<\infty)$$U(t)= \int_{-\infty}^{\infty}G(t-s)G(-s)ds$である.

$t_{0}$と任意の複素数に対して等号が成り立つ. ただし$(-\infty<t<\infty)$

(2.4)

139

最良定数 $C(n)$ は特性根および特性係数$a_{j}$$p_{j}$の有理式である.

定理 23

(1)

(2.5)
$C(n)=(-1)^{n+1} \frac{1}{2}\sum_{j=0}^{n-1}\frac{1}{a_{j}\prod_{k=0.k\neq j}^{n-1}(a_{j}^{2}-a_{k}^{2})}$(2)$C(n)= \frac{(-.1)^{n+1}}{2a_{0}\cdot\cdot a_{n-1}}|\ldots a_{j_{\overline{1}}}^{2i+1}$$|/|$$a_{j}^{2i}$

(2.6)

...
右辺は行列式の比で, 分母分子共に $n\cross n$ 行列である. 分子の行列式の最後の行はである.
1,$\cdots$

$($

(3)

$1)$

$C(n)= \frac{1}{2p_{n}}|p_{n-2-2i+j}|_{(0\leq i,j\leq n-3)}/|p_{n-1-2i+j}|_{(0\leq i,j\leq n-2)}$

ただし $p_{j}=0$(2.7)$(j<0$ または $n<j)$ とする.

(2) から (3) を導くには, 有限群の表現論に登場する Giambelli の公式 [3] を使う.
この定理の詳しい証明は 1] に譲る. 最良定数 $C(n)$ を実際に求めるには, (2) また$[$は (3) の都合のよい方を使えばよい.

る. 第 II 部第 2 節で示した,

もちろん大部分の場合にはどちらも困難であ

同一素子をカスケード接続した RC フィルタ (トムソンケーブル) の場合は興味深い.

この場合, 特性根は特性多項式の次数 $n$ と特性根のの関数としては簡単な表示式をもっているが, それを使って (2) により $C(n)$の値を求めることは一般には困難である. しかし特性係数は簡単な自然数となり (3)

番号

$i$

により $C(n)$ の値を求めることはやさしい.

$n=1,2,3,4,5$ について,$C(n)$ の具体形を以下に記述する.

$C(1)= \frac{1}{2a_{0}}=\frac{1}{2p_{1}}$$C(2)=- \frac{1}{2a_{0}a_{1}}$$a_{0}1$$a_{1}1|/|a_{0}^{2}1$$a_{1}^{2}1$$= \frac{1}{2a_{0}a_{1}(a_{0}+a_{1})}=\frac{1}{2p_{1}p_{2}}$$C(3)= \frac{1}{2a_{0}a_{1}a_{2}}$$a_{0}^{3}a_{1}0$$a_{1}^{3}a_{1}1$$a_{2}^{3}a_{1}2|/|a_{0}^{4}a_{0}^{2}1$$a_{1}^{4}a_{1}^{2}1$$a_{2}^{4}a_{2}^{2}1$$\frac{a_{0}+a_{1}+a_{2}}{2a_{0}a_{1}a_{2}(a_{0}+a_{1})(a_{0}+a_{2})(a_{1}+a_{2})}=\frac{1}{2p_{3}}p_{1}/|\begin{array}{ll}p_{2} p_{3}p_{0} p_{1}\end{array}|= \frac{p_{1}}{2p_{3}(p_{1}p_{2}-p_{3})}$

140$C(4)=- \frac{1}{2a_{0}a_{1}a_{2}a_{3}}$$a_{3}^{5}a_{3}^{3}a_{1}3|/|\begin{array}{llll}1 1 1 la_{0}^{2} a_{1}^{2} a_{2}^{2} a_{3}^{2}a_{0}^{4} a_{1}^{4} a_{2}^{4} a_{3}^{4}a_{0}^{6} a_{1}^{6} a_{2}^{6} a_{3}^{6}\end{array}|=$$a_{0}^{5}a_{0}^{3}a_{1}0$$a_{1}^{5}a_{1}^{3}a_{1}1$$a_{2}^{5}a_{2}^{3}a_{1}2$$p_{1}p_{3}p_{2}p_{4}p_{3}0$$\frac{1}{2p_{4}}$$p_{0}p_{2}p_{1}p_{3}$$/$$= \frac{p_{1}p_{2}-p_{3}}{2p_{4}(p_{1}p_{2}p_{3}-p_{3}^{2}-p_{1}^{2}p_{4})}$$0$$p_{0}p_{1}$$C(5)=$$\frac{1}{2a_{0}a_{1}a_{2}a_{3}a_{4}}$$a_{0}$$a_{1}$$a_{2}$$a_{3}$$a_{4}$

$1$

1

1

1

1

$/$
$a_{0}^{3}$$a_{1}^{3}$$a_{2}^{3}$$a_{3}^{3}$$a_{4}^{3}$$a_{0}^{2}$$a_{1}^{2}$$a_{2}^{2}$$a_{3}^{2}$$a_{4}^{2}$$a_{0}^{5}$$a_{1}^{5}$$a_{2}^{5}$$a_{3}^{5}$$a_{4}^{5}$$a_{0}^{4}$$a_{1}^{4}$$a_{2}^{4}$$a_{3}^{4}$$a_{4}^{4}$$a_{0}^{7}$$a_{1}^{7}$$a_{2}^{7}$$a_{3}^{7}$$a_{4}^{7}$$a_{0}^{6}$$a_{1}^{6}$$a_{2}^{6}$$a_{3}^{6}$$a_{4}^{6}$

1

1

1

1

1

$a_{0}^{8}$$a_{1}^{8}$$a_{2}^{8}$$a_{3}^{8}$$a_{4}^{8}$$\frac{1}{2p_{5}}|\begin{array}{lll}p_{3} p_{4} p_{5}p_{1} p_{2} p_{3}0 p_{0} p_{1}\end{array}|./ |\begin{array}{llll}p_{4} p_{5} 0 0p_{2} p_{3} p_{4} p_{5}p_{0} p_{l} p_{2} p_{3}0 0 p_{0} p_{1}\end{array}|=$$\frac{p_{1}p_{2}p_{3}-p_{3}^{2}-p_{1}^{2}p_{4}+p_{1}p_{5}}{2p_{5}(p_{1}p_{2}p_{3}p_{4}-p_{3}^{2}p_{4}-p_{1}^{2}p_{4}^{2}-p_{1}p_{2}^{2}p_{5}+p_{2}p_{3}p_{5}+2p_{1}p_{4}p_{5}-p_{5}^{2})}$

$=$

141

3

グリーン関数
第 1 節で導入されたグリーン関数の具体形を求めよう.
ヘビサイド階段関数$Y(t)=$$\{\begin{array}{ll}1 (0\leq t<\infty)0 (arrow\infty<t<0)\end{array}$を導入する.

${\rm Re} a>0$

$Y(t)e^{-at}$に対して, 次の関係が成り立つ.

$arrow^{\wedge}$$(z+a)^{-1}$

部分分数展開$\frac{1}{P(z)}=\sum_{j=0}^{n-1}\frac{1}{P^{J}(-a_{j})}\frac{1}{z+a_{j}}=|\overline{\cdots(z+a_{j})^{-1}}(-a_{j})^{i}$

...

$|/|$

$(-a_{j})^{i}$により次の定理が得られる.
定理 3.1$G_{j}(t)=Y(t)e^{-a_{j}t}(-\infty<t<\infty, 0\leq i\leq n-1)$

とする.

グリーン関

数は次の表現をもつ.

(1)

(3.1)

$G(t)= \sum_{j=0}^{n-1}\frac{1}{P’(-a_{j})}G_{j}(t)$

(2)

$|/|$

$G(t)=(-1)^{n+1}|\ldots a_{j}^{i}$$a_{j}^{i}$

(3.2)

...
(3)

(3.3)

$G(t)=(G_{0}*\cdots*G_{n-1})(t)$$(f*g)(t)= \int_{-\infty}^{\infty}f(t-s)g(s)ds$$(-\infty<t<\infty)$

は $f(t)$ と $g(t)$ の合成積である.

(3) より$a_{j}>0$$(0\leq i\leq n-1)$の場合には$G(t)\{\begin{array}{ll}>0 (0\leq t<\infty)=0 (-\infty<t<0)\end{array}$

となる.

142

4.

ソボレフ型不等式

定理 22 証明

(1.6) で

$t$

と

$s$

を入れかえ, 両辺をシュワルツの不等式で評価すると$|u(s)|^{2} \leq\int_{arrow\infty}^{\infty}|G(s-t)|^{2}dt\int_{-\infty}^{\infty}|f(t)|^{2}dt$となる. $f(t)=P(d/dt)u(t)$ および$\int_{-\infty}^{\infty}|G(s-t)|^{2}dt=\int_{-\infty}^{\infty}|G(t)|^{2}dt=\Vert G\Vert^{2}$に注意すると, ソボレフ型不等式$( \sup_{-\infty<s<\infty}|u(s)|)^{2}\leq\Vert G||^{2}\int_{-\infty}^{\infty}|P(d/dt)u(t)|^{2}dt$

(4.1)

を得る.
一方, $f(t)=G(-t)(-\infty<t<\infty)$ として BVP の特別な解 $u(t)=U(t)$ は$U(t)= \int_{-\infty}^{\infty}G(t-s)G(-s)ds$$(-\infty<t<\infty)$(4.2)となる. 特に $t=0$ とすると$U(0)= \int_{-\infty}^{\infty}|G(-s)|^{2}ds=\Vert G\Vert^{2}$となる. $u(t)=U(t)$ を不等式 (4.1) に適用すると$\Vert G\Vert^{4}=(U(0))^{2}\leq(\sup_{-\infty<\epsilon<\infty}|U(s)|)^{2}\leq$$\Vert G\Vert^{2}\int_{-\infty}^{\infty}|P(d/dt)U(t)|^{2}dt=\Vert G||^{2}\int_{-\infty}^{\infty}|G(-t)|^{2}dt=||G||^{4}$となる. 従って次の関係式を得る.
$( \sup_{-\infty<s<\infty}|U(s)|)^{2}=\Vert G\Vert^{2}/arrow\infty\infty|P(d/dt)U(t)|^{2}dt$

定理 22 証明を終る.

(4.3)$\blacksquare$

143

II

ヘビサイドケーブルとトムソンケ $-$ ブル

1

ヘビサイドケーブルとトムソンケーブル
図のような 4 端子 LRCG 回路を考える.

Ci,

これはローパスフィルタである.

はそれぞれインダクタンス, 抵抗, コンデンサ容量 漏洩コンダク
タンスである. いずれも非負定数である. 入力電圧を $u_{i-1}=u_{i-1}(t)$ , 出力電圧を$L_{i},$$R_{i}$,$G_{i}$,

コイルと抵抗を流れる電流を $v_{i}=v_{i}(t)$ とする.
このような 4 端子回路を $i=1,$とカスケー ト 接続する.

$u_{i}=u_{i}(t)$$\grave\grave$$\cdots,$ $n$

HC(ヘビサイドケーブル)

TC(トムソンケーブル):$L_{i},$$R_{\eta}\cdot$, Ci, $G_{i}>0$$(1 \leq i\leq n)$と:$L_{i}=G_{i}=0$ ,凡, $Ci>0$$(1\leq i\leq n)$の場合を考える. 最終出力端子は開放端とする.

ファラデーの誘導の法則とオームの法則, および電流の保存則より$\{\begin{array}{ll}(L_{i}D+R_{\tau}\cdot)v_{i}=u_{i-1}-u_{i} (1.1)(C_{i}D+G_{i})u_{i}=v_{i}-v_{i+1} (1 \leq i\leq n, -\infty<t<\infty) (1.2 )\end{array}$144が成り立つ. ただし $D=d/dt$ ,$t^{f}=n+10$ である.

入力 $u_{0}(t)$ と出力 $u_{n}(t)$ の関係を調べる.
$u={}^{t}(u_{1},$とし,$\cdots,$ $u_{n})$$v={}^{t}(v_{1},$$\cdots,$$v_{n})$

対角行列$n\cross n$$L=(L_{i}\delta_{ij})$$n\cross n$,,$R=(R\delta_{ij})$ ,$C=(C_{i}\delta_{ij})$ ,$G=(G_{i}\delta_{ij})$

ベキ零行列
$N=$
$(\begin{array}{llll}0 l 0 \ddots \ddots l 0\end{array})$を導入する.

$u_{0}(t)\in L^{2}(-\infty, \infty)$

に対して, 次のような境界値問題を考える.

BVP$\{\begin{array}{ll}(LD+R)v+(I-{}^{t}N)u=u_{0}(t){}^{t}(1,0, \cdots, 0) (13)(CD+G)u-(I-N)v=0 (-\infty<t<\infty) (14)v, Dv.

(1.5) のうち TC の場合には $Dv\in L^{2}(-\infty, \infty)$ は要求しない.

u, Du\in L^{2}(-\infty, \infty) (1.5)\end{array}$$v$

を消去すると$(LD+R)(I-N)^{-1}(CD+G)u+(I-{}^{t}N)u=u_{0}(t){}^{t}(1,\cdot 0,$$\cdots,$

$0)$

(1.6)

$(-\infty<t<\infty)$

となる.

(HC)

$u_{0}(t)=$$\{\begin{array}{l}(\prod_{\mathfrak{i}=1}^{n}(L_{i}C_{i}))f(t)(\prod_{i=1}^{n}(RC_{i}))f(t)\end{array}$(TC)とする. フーリエ変換すると $z=\sqrt{-1}\omega$ として

BVP$\wedge$$\{\begin{array}{ll}(Lz+R)\hat{v}+(I-{}^{t}N)\hat{u}=\hat{u}_{0}(\omega){}^{t}(1,0, \cdots 0) (1.7)(Cz+G)\hat{u}-(I-N)\hat{v}=0 (-\infty<\omega<\infty) (1.8)\end{array}$

145となる. 具体的に表わすと

BVP$\wedge$$= \hat{u}_{0}(\omega)[0\frac{\dot{0}}{0}01\ovalbox{\tt\small REJECT}$(1.9)となる. 次の補題が成り立つ.

補題 11

補題 11 証明

左辺の行列式の値は,

$2n$

行と

$n$

列および

できる $2(n-1)\cross 2(n-1)$ 行列の行列式の値に等しい.

$n$

行と $2n-1$ 列をぬいてこの操作を続けると, 結局

左辺は行列式$L_{1}z+R_{1}$

1

$-1$

$0$

$=1$

に等しくなる. 補題 1.1 証明を終る.

$\blacksquare$

146

特性多項式 $P(z)$ を導入する. HC の場合には$P(z)=$$/ \prod_{i=1}^{n}(L_{i}C_{i})$

$1$

..

$|L_{1}z+R_{1}-1$$-11$$c_{1^{Z}}^{-}+G_{1}1_{1}$.
$-1$$L_{n}z_{1}+R_{n}-1$$C_{n}z^{1}+G_{n}$(HC)

TC の場合には$P(z)=$$/ \prod_{i=1}^{n}(RC_{i})$

. .
$1$

$C_{1}z-11$$-1$$|-1R_{1}$$-11$$-1R_{n}1$$C_{n}z1$. .
$\cdot$(TC)である. 補題 1.1 を使って,

BVP を$\wedge$$\hat{u}=$餌についてクラメールの公式で解くと$\hat{u}(\omega)=\frac{1}{P(z)}\hat{f}(\omega)$

となる.

したがって

$P(z)\hat{u}(\omega)=\hat{f}(\omega)$

となる.

これは

$P(D)u=f(t)$を意味する. 第 1 部で扱ったものの重要な実例である.
補題 12$P(z)$ はフルウィッツ多項式である.

147

補題 12 証明

特性多項式の因数分解形は$P(z)=$$\{\begin{array}{ll}\prod_{j=0}^{2n-1}(z+a_{j}) (HC)\prod_{j=0}^{n-1}(z+a_{j}) (TC)\end{array}$である. $z=-a_{j}(0\leq i\leq 2n-1)$ に対して, $P(z)=0$ となる.
元ベクトル${}^{t}(v,$$u)\neq{}^{t}(0,0)$

したがって,

$2n$

次

があって

$\{\begin{array}{l}(Lz+R)v+(I-{}^{t}N)u=0(Cz+G)u-(I-N)v=0\end{array}$が成り立つ.

$\{\begin{array}{l}(v^{*}Lv)z+v^{*}Rv=-v^{*}(I-{}^{t}N)u=-\overline{u^{*}(I-N)v}(u^{*}Cu)z+u^{*}Gu=u^{*}(I-N)v\end{array}$が従う. 関係式$(v^{*}Lv+u^{*}Cu)({\rm Re} z)=-(v^{*}Rv+u^{*}Gu)$と不等式$v^{*}Lv+u^{*}Cu>0$ ,$v^{*}Rv+u^{*}Gu>0$

より ${\rm Re} z<0$ が分かる. 補題 12 証明を終る.

補題 13(予想)$L_{i},$$C_{i}>0$ ,$\blacksquare$

ヘビサイドケーブルの場合$R,$$G_{i}\geq 0$$(1 \leq i\leq n)$,$\sum_{i=1}^{n}(h\cdot+G_{i})>0$

すなわち凡./Gi のうち少なくとも 1 つ正のものがあれば $P(z)$ はフルウィツッ多項式である.

補題 1.3 は $n=1$ の場合は自明である. 実際,$L_{1}C_{1}P(z)=(L_{1}z+R_{1})(C_{1}z+G_{1})+1$

より $P(z)$ はフルウィッツ多項式である.

$R_{1}>0$ または $G_{1}>0$ なので148$n=2$ の場合, マスマティカを使って計算することにより正しいことが示される.
$R_{1},$$R_{2}.,$$G_{1},$$G_{2}$のうち少なくとも 1 つが正としている. 特性多項式は$L_{1}L_{2}C_{1}C_{2}P(z)=$$=$$|\begin{array}{llll}zL_{1}+R_{1} l zL_{2}+R_{2} -1 l-1 1 zC_{1}+G_{1} -l zC_{2}+G_{2}\end{array}|$$p_{0}z^{4}+p_{1}z^{3}+p_{2}z^{2}+p_{3}z+p_{4}$

ただし$p_{4}=R_{1}R_{2}G_{1}G_{2}+R_{1}G_{1}+(R_{1}+R_{2})G_{2}+1\geq 1$

である.
$L_{1}L_{2}C_{1}C_{2}P(O)=p_{4}\geq 1$

より $z=0$ は特性根でない.

$0$

でない純虚数の特性根 $z=\sqrt{-1}y(y\neq 0)$ をもったとすると$y^{4}-p_{2}y^{2}+p_{4}-\sqrt{-1}y(p_{1}y^{2}-p_{3})=0$となる.

したがって $Y=y^{2}$ とおいて$\{\begin{array}{l}p_{0}Y^{2}-p_{2}Y+p_{4}=0p_{1}Y-p_{3}=0\end{array}$が成り立つ. 終結式をマスマティカで計算する.
$=p_{0}p_{3}^{2}+p_{1}^{2}p_{4}-p_{1}p_{2}p_{3}\geq$$-p_{3}p_{0^{4}}|$$|p_{0^{1}}^{0}p$$-p_{3}-p_{2}p_{1}$$(R_{1}^{2}L_{2}^{2}+$砥$L_{1}^{2})C_{1}C_{2}^{3}+(G_{1}^{2}C_{2}^{2}+G_{2}^{2}C_{1}^{2})L_{1}^{3}L_{2}>0$となり矛盾である.

2

トムソンケーブルの具体例
次のような簡単な場合を考えよう.
$R_{1}=s^{-1}$,$R_{\eta}\cdot=1$$0<s<\infty$ をパラメータとして$(2\leq i\leq n)$,$Ci=1$$(1 \leq i\leq n)$

149

とする.
$s=1$ なら $L$ 型フィルタの $n$ 段カスケード接続である.

また, $s=2$ のときは $T$ 型フィルタの $n$ 段カスケード接続に等価である.

最終段出力端子は開放するので, 最終段右側の抵抗は取り去っても同じである.
このとき特性多項式は$P(z)=Q_{n}(s;z)=\det(zI+C^{-1}(I-N)R^{-1}(I-{}^{t}N))$である.
$C^{-1}=I$ ,$R^{-1}=I+(s-1)(\begin{array}{llll}l 0 \ddots 0\end{array})$$(I-N)(\begin{array}{llll}1 0 \ddots 0\end{array})(I-{}^{t}N)=\backslash (\begin{array}{llll}l 0 \ddots 0\end{array})$$(I -N)(I-{}^{t}N)=(\begin{array}{llll}2 -l -l \ddots \ddots \ddots 2 -l -1 1\end{array})$となるので, $z+2=2x$ として$Q_{n}(s;z)=$$2x+s-1$$-1$$-1$$-12x$

. .

$-1$

$2x$

$-1$

$-1$

$2x-1$

150となる. 特に $s=1,2$ のとき,

$T_{n}(x),$はそれぞれ第 1 種および第 2 種チェビ

$U_{n}(x)$シェフ多項式として,$Q_{n}(1;z)=$

$2x$

$-1$

$Q_{n}(2;z)=$

$-1$

.

$2x+1$$-1$$=U_{n+1}(x)-U_{n}(x)$

.
$2x$

$-1$

$-1$

$2x-1$

$-1$
$2x$

$-1$

$-.1$

.

.
$2x$

$-1$

$-1$

$2x-1$$(U_{n+1}(x)-U_{n}(x))+(U_{n}(x)-U_{n-1}$ $(x))=U_{n+1}(x)-U_{n-1}(x)=2T_{n}(x)$となる.

$Q_{n}(s;z)$は$s$について 1 次式でことに注意すると, 次式を得る.

$Q_{n}(s;z)=(s-1)Q_{n}(2;z)-(s-2)Q_{n}(1\rangle z)=$

2 $(s-1)T_{n}(x)-(s-2)(U_{n+1}(x)-U_{n}(x))$
テーラー展開を$Q_{n}(s;z)= \sum_{j=0}^{n}q_{nj}(s)z^{n-j}$とする.
$q_{nj}(s)=(s-1)q_{nj}(2)-(s-2)q_{nj}(1)$となるので $q_{nj}(2),$$q_{nj}(1)$を求めればよい.

$(0\leq j\leq n)$$Q_{n}=Q_{n}(s;z)$ は次の漸化式$\{\begin{array}{l}Q_{n+1}-(z+2)Q_{n}+Q_{n-1}=0 (n=1,2,3, \cdots)Q_{0}=s, Q_{1}=z+s\end{array}$で表わされる.

151$s=1$ とすると

$s=2$ とするととなる.

$q_{nj}$

得られる.

を上から $n$ 段目, 左から$j$

番目にかくと, それぞれ次のような三角形が

152

153

これらの三角形を観察することにより$\{\begin{array}{l}q_{nn}(s)=s (n=0\}1,2, \cdots)q_{n0}(s)=1 (n=1,\cdot 2,3, \cdots)q_{n1}(s)=2n-2+s (n=1,2,3, \cdots)q_{n+1j+1}(s)-2q_{nj}(s)+q_{n-1j-1}(s)=q_{nj+1}(s)(n=1,2,3, \cdots, 1\leq j\leq n-1)\end{array}$がわかる.
$j\leq n)$$Q_{n}(s;z)$がみたす漸化式より証明することも簡単である. $q_{nj}(s)>0(0\leq$

もすぐわかる.

$Q_{n}(s;z)= \prod_{j=0}^{n-1}(z+a_{j}(s))$と因数分解する.
$s=1$ のとき
$a_{j}(1)=2(1-\cos(\theta_{j}(1)))=4\sin^{2}(\theta_{j}(1)/2)\dot{\prime}$となる.

$\theta_{j}(1)=\frac{2j+1}{2n+1}\pi$$(0\leq j\leq n-1)$$0<\theta_{0}(1)/2<\cdots<\theta_{n-1}(1)/2<\pi/2$ より $0<a_{0}(1)<a_{1}(1)<\cdots<$$a_{n-1}(1)<4$ である.

$s=2$ のとき
$a_{j}(2)=2(1-\cos(\theta_{j}(2)))=4\sin^{2}(\theta_{j}(2)/2)$,$\theta_{j}(2)=\frac{2j+1}{2n}\pi$$(0\leq j\leq n-1)$となる. 同じく $0<\theta_{0}(2)/2<\cdots<\theta_{n-1}(2)/2<\pi/2$ より $0<a_{0}(2)<a_{1}(2)<$$<a_{n-1}(2)<4$ である.

参考文献
[1] Y.Kametaka, K.Takemura, H.Yamagishi, A.Nagai and K.Watanabe: Heavisidecable, Thomson cable and the best constant of a Sobolev-type inequality, toappear in Scientiae Mathematicae Japonicae Online.
[2] I. G. Macdonald, Symmetnc Functions and Hall Polynomials, Oxford Univ.
Press, 1995.
[3] 本間泰史, 「有限群の表現, 対称群の表現の基礎」
www. math. waseda. ac. $jp/homma/download/$ representation. pdf