$\mathbb{R}^2$のある領域上で定義された$C^2$級関数$u(x)=u(x_1,x_2)$に関する微分方程式
$$
u_1^2+2u_1u_2+2u_2^2+2x_1^2-2x_1x_2+x_2^2=1
$$
を考える。但し$u_i:=\frac{\partial u}{\partial x_i}$である。
- $x=(x_1,x_2)\in\mathbb{R}^2$及び$p=(p_1,p_2)\in\mathbb{R}^2$を変数とする$C^\infty$級関数$a_k(x,p),b_k(x,p)$に対して、連立$1$階偏微分方程式
$$
\left\{\begin{split}
a_1(x,p)\frac{\partial p_1}{\partial x_1}+a_2(x,p)\frac{\partial p_1}{\partial x_2}&=b_1(x,p)\\
a_1(x,p)\frac{\partial p_2}{\partial x_1}+a_2(x,p)\frac{\partial p_2}{\partial x_2}&=b_2(x,p)\\
\end{split}\right.
$$
を考える。そしてこのような連立$1$階偏微分方程式に対して常微分方程式系
$$
\frac{dx_k}{dt}=a_k(x,p)
$$
$$
\frac{dp_l}{dt}=b_l(x,p)
$$
を特性方程式と呼ぶ。初めの偏微分方程式の解$u$に対して、$p_1:=\frac{\partial u}{\partial x_1}$及び$p_2:=\frac{\partial u}{\partial x_2}$が上記の連立偏微分方程式を満たすような$a_1,a_2,b_1,b_2$を求め、これの特性微分方程式を求めなさい。 - 上で求めた特性微分方程式の保存量のうち、$p_1,p_2,x_1,x_2$に関する$2$つの斉次$2$次式で、一次独立であるようなものを$1$つ求めなさい。但し、微分方程式の保存量とは、関数$F:\mathbb{R}^4\to\mathbb{R}$で、微分方程式の解$x_1(t),x_2(t),p_1(t),p_2(t)$に対して$F(x_1(t),x_2(t),p_1(t),p_2(t))$が$t$に依らないようなものを指す。
- 初めに与えられた偏微分方程式の解$u=u({x_1,x_2})$のうち、$2$つの独立な積分定数を含むものを$1$つ構成しなさい。