跳到主要内容

京都大学 工学研究科 機械工学群 2022年8月実施 数学 問題2

Author​

祭音Myyura (Based on Miyake's answer refined with GPT 6 Astra)

Description​

2-1​

(1) 実変数 xx の実関数 f(x)f(x) は次の常微分方程式

fdfdx=d2fdx2,(2.1)f\frac{df}{dx}=\frac{d^2f}{dx^2},\tag{2.1}

の有界な解で、f(0)=0f(0)=0 かつ lim⁡x→±∞f(x)=∓1\displaystyle\lim_{x\to\pm\infty}f(x)=\mp1(複号同順)であるとする。df2dx=2fdfdx\dfrac{df^2}{dx}=2f\dfrac{df}{dx} の関係に注意して f(x)f(x) を具体的に求めよ。なお、求解の際には lim⁡x→±∞dfdx=0\displaystyle\lim_{x\to\pm\infty}\dfrac{df}{dx}=0 としてよい。

(2) 問い2-1 (1) の解 f(x)f(x) を用いて g(x)=af(a(x−b))+cg(x)=af(a(x-b))+c とおく(a>0a>0、b,cb,c はそれぞれ実定数)。g(x)g(x) が次の常微分方程式

(g−c)dgdx=d2gdx2,(2.2)(g-c)\frac{dg}{dx}=\frac{d^2g}{dx^2},\tag{2.2}

を満たすことを示せ。また、lim⁡x→±∞g(x)\displaystyle\lim_{x\to\pm\infty}g(x) の値を求めよ。

2-2​

実変数 t,xt,x の実関数 u(t,x)u(t,x) に対する次の偏微分方程式を考える。

∂u∂t+u∂u∂x=∂2u∂x2.(2.3)\frac{\partial u}{\partial t}+u\frac{\partial u}{\partial x}=\frac{\partial^2u}{\partial x^2}.\tag{2.3}

この方程式には u(t,x)=V(ξ)u(t,x)=V(\xi) という形[ここで ξ=x−wt\xi=x-wt(ww は実定数)とおいた]で表される有界な解(進行波解とよぶ)があることが知られている。以下では、この進行波解で次の条件を満たすものを考える。

{u→u+(x→∞),u→u−(x→−∞).\begin{cases}u\to u_+&(x\to\infty),\\u\to u_-&(x\to-\infty).\end{cases}

ここで u+,u−u_+,u_- は u−>u+u_->u_+ を満たす実定数である。

(1) ∂u∂t\dfrac{\partial u}{\partial t} を V(ξ)V(\xi) を用いて表せ。

(2) 式 (2.3) を V(ξ)V(\xi) に対する常微分方程式に書き換えよ。

(3) u(0,0)=12(u++u−)u(0,0)=\dfrac12(u_++u_-) のとき、V(ξ)V(\xi) を具体的に求めよ。また、ww を u+u_+ および u−u_- を用いて表せ。

题目描述​

2-1

(1) 实变量 xx 的实函数 f(x)f(x) 是下列常微分方程的有界解:

fdfdx=d2fdx2.(2.1)f\frac{df}{dx}=\frac{d^2f}{dx^2}.\qquad(2.1)

设 f(0)=0f(0)=0 且 lim⁡x→±∞f(x)=∓1\displaystyle\lim_{x\to\pm\infty}f(x)=\mp1(上下符号按顺序对应)。利用 df2dx=2fdfdx\dfrac{df^2}{dx}=2f\dfrac{df}{dx} 的关系,求 f(x)f(x) 的具体表达式。求解时可设 lim⁡x→±∞dfdx=0\displaystyle\lim_{x\to\pm\infty}\dfrac{df}{dx}=0。

(2) 利用2-1 (1) 的解 f(x)f(x),令 g(x)=af(a(x−b))+cg(x)=af(a(x-b))+c,其中 a>0a>0,b,cb,c 分别为实常数。证明 g(x)g(x) 满足常微分方程

(g−c)dgdx=d2gdx2,(2.2)(g-c)\frac{dg}{dx}=\frac{d^2g}{dx^2},\qquad(2.2)

并求 lim⁡x→±∞g(x)\displaystyle\lim_{x\to\pm\infty}g(x)。

2-2

考虑实变量 t,xt,x 的实函数 u(t,x)u(t,x) 所满足的偏微分方程

∂u∂t+u∂u∂x=∂2u∂x2.(2.3)\frac{\partial u}{\partial t}+u\frac{\partial u}{\partial x}=\frac{\partial^2u}{\partial x^2}.\qquad(2.3)

已知该方程存在形如 u(t,x)=V(ξ)u(t,x)=V(\xi) 的有界解,称为行波解,其中 ξ=x−wt\xi=x-wt,ww 为实常数。下面考虑满足下列条件的行波解:

{u→u+(x→∞),u→u−(x→−∞).\begin{cases}u\to u_+&(x\to\infty),\\u\to u_-&(x\to-\infty).\end{cases}

这里 u+,u−u_+,u_- 为满足 u−>u+u_->u_+ 的实常数。

(1) 用 V(ξ)V(\xi) 表示 ∂u∂t\dfrac{\partial u}{\partial t}。

(2) 将式 (2.3) 改写为关于 V(ξ)V(\xi) 的常微分方程。

(3) 当 u(0,0)=12(u++u−)u(0,0)=\dfrac12(u_++u_-) 时,求 V(ξ)V(\xi) 的具体表达式,并用 u+,u−u_+,u_- 表示 ww。

Kai​

2-1 (1)​

(f2−2f′)′=0(f^2-2f')'=0 より f2−2f′=Cf^2-2f'=C。無限遠の条件から C=1C=1 なので

f′=f2−12.f'=\frac{f^2-1}{2}.

f(0)=0f(0)=0 の近傍で変数を分離して積分すると

log⁡∣f−1f+1∣=x+C1.\log\left|\frac{f-1}{f+1}\right|=x+C_1.

初期条件を用いて (f−1)/(f+1)=−ex(f-1)/(f+1)=-e^x、したがって

f(x)=1−ex1+ex=−tanh⁡x2.\boxed{f(x)=\frac{1-e^x}{1+e^x}=-\tanh\frac x2}.

この式は全実数で有界であり、指定された両端の極限も満たす。

2-1 (2)​

y=a(x−b)y=a(x-b) とすると g′=a2f′(y)g'=a^2f'(y)、g′′=a3f′′(y)g''=a^3f''(y)。よって

(g−c)g′=a3f(y)f′(y)=a3f′′(y)=g′′.(g-c)g'=a^3f(y)f'(y)=a^3f''(y)=g''.

a>0a>0 より

lim⁡x→+∞g(x)=c−a,lim⁡x→−∞g(x)=c+a.\boxed{\lim_{x\to+\infty}g(x)=c-a,\qquad \lim_{x\to-\infty}g(x)=c+a}.

2-2 (1)​

連鎖律により

∂u∂t=−wV′(ξ).\boxed{\frac{\partial u}{\partial t}=-wV'(\xi)}.

2-2 (2)​

ux=V′u_x=V'、uxx=V′′u_{xx}=V'' を代入すると

(V−w)V′=V′′.\boxed{(V-w)V'=V''}.

2-2 (3)​

2-1 (2) と対応させ、c=wc=w とおく。両端の条件から

w−a=u+,w+a=u−.w-a=u_+,\qquad w+a=u_-.

したがって

w=u−+u+2,a=u−−u+2>0.\boxed{w=\frac{u_-+u_+}{2}},\qquad a=\frac{u_--u_+}{2}>0.

V(0)=wV(0)=w から平行移動の定数は b=0b=0。よって

V(ξ)=u−+u+2−u−−u+2tanh⁡(u−−u+4ξ).\boxed{V(\xi)=\frac{u_-+u_+}{2} -\frac{u_--u_+}{2}\tanh\left(\frac{u_--u_+}{4}\xi\right)}.

この解は左側の値 u−u_- から右側の値 u+u_+ へ単調に減少する。

Reference​