京都大学 情報学研究科 数理工学専攻 2019年8月実施 力学系数学
Author
Casablanca
Description
日本語版
a,b∈R を定数として次の実微分方程式を考える.
tdt2d2x+(at+b)dtdx+x=0(1)
X を t の有理関数,式 (1) の解およびそれらの高階導関数の有理式全体からなる集合とする.
特に,X は式 (1) の任意の解の 2 階導関数を含む.次の条件を満たす全単射写像 σ:X→X 全体の集合を G で表す.
(A1) 任意の f,g∈X に対して σ(f+g)=σ(f)+σ(g) および σ(fg)=σ(f)σ(g) が成立
(A2) 任意の有理関数 f に対して σ(f)=f が成立
(A3) 任意の f∈X に対して dtdσ(f)=σ(dtdf) が成立
x=et が式 (1) の解であるとき,以下の問いに答えよ.
(i) 定数 a,b を定めよ.
(ii) x=et と 1 次独立な解 x=ϕ(t) を一つ求めよ.
(iii) x(t) が解のとき σ(x(t)) も解であることを示せ.
(iv) ϕ(t) を(ii)で求めた解とする.(iii)により,任意の σ∈G に対して,ある定数 aij(σ)∈R (i,j=1,2) が存在して
σ(et)=a11(σ)et+a12(σ)ϕ(t),σ(ϕ(t))=a21(σ)et+a22(σ)ϕ(t)
が成立する.各 i,j=1,2 に対して (i,j) 成分が aij(σ) の 2 次正方行列を A(σ) と表す.
このとき,任意の σ1,σ2∈G に対して A(σ1)A(σ2)=A(σ2)A(σ1) が成立することを示せ.
English Version
题目描述
设 a,b∈R,考虑实微分方程
tdt2d2x+(at+b)dtdx+x=0.(1)
令 X 为由 t 的有理函数、方程 (1) 的解以及这些解的高阶导数所组成的所有有理式的集合;特别地,X 包含任意解的二阶导数。令 G 为所有满足下列条件的双射 σ:X→X 的集合:
- 对任意 f,g∈X,
σ(f+g)=σ(f)+σ(g) 且
σ(fg)=σ(f)σ(g);
- 对任意有理函数 f,σ(f)=f;
- 对任意 f∈X,
dtdσ(f)=σ(dtdf)。
已知 x=et 是方程 (1) 的解。回答:
- 确定常数 a,b。
- 求一个与 et 线性无关的解 x=ϕ(t)。
- 证明若 x(t) 是解,则 σ(x(t)) 对任意 σ∈G 也为解。
- 取第 2 问的 ϕ(t)。由第 3 问,对每个 σ∈G 存在实常数 aij(σ) 使
σ(et)σ(ϕ(t))=a11(σ)et+a12(σ)ϕ(t),=a21(σ)et+a22(σ)ϕ(t).
令 A(σ) 为以 aij(σ) 为 (i,j) 元的二阶方阵。证明对任意 σ1,σ2∈G,
A(σ1)A(σ2)=A(σ2)A(σ1).
Kai
(i)
substitute x by et in (1),
tet+(at+b)et+et=0
we have a=b=−1
(ii)
Let ϕ(t)=u(t)et and substitute x by ϕ(t) in (1), we have
tu′′(t)+(t−1)u′(t)=0
by solving this equation, we obtain:
u(t)=C1(−(t+1)e−t+C2)
where C1 and C2 are constants.
By setting C1=1, C2=0, we have
Φ(t)=u(t)et=−t−1
(iii)
dt2d2σ(x(t))=dtddtσ(x(t))=σ(dt2d2x(t))
tdt2d2σ(x(t))=σ(t)σ(dt2d2x(t))=σ(tdt2d2x(t))
−(t+1)dtdσ(x(t))=σ(−(t+1)dtdx(t))
And we obtain
tdt2d2σ(x(t))−(t+1)dtdσ(x(t))+σ(x(t))=σ(0)=0
(iv)
A(σi)=[100ci] is symmetric.