From the equation −2xydy=−2xydz we can deduce that dy=dz and that the function f1=y−z is the first integral of the given system.
Consider now the first equation y2+z2−x2dx=−2xydy.
(1) 0=2xydx+dy(y2+z2−x2)=y2(y22xydx−x2dy+(1+y2z2)dy)
But
(2) y22xydx−x2dy=d(x2/y)
(3) (1+y2z2)dy=(1+y2(y−f1)2)dy=(2−y2f1+y2f12)dy=
=d(2y−2f1log∣y∣−f12/y)
Substituting eq.(2),(3) into eq.(1), we obtain d(x2/y+2y−2f1log∣y∣−f12/y)=0
Therefore the function f2=x2/y+2y−2(y−z)log∣y∣−(y−z)2/y is also the integral of the given system.
df1∧df2=df1∧d(x2/y)+df1∧d(2y−2f1log∣y∣−f12/y)=
df1∧d(x2/y)+(1+y2z2)df1∧dy=
y−2df1∧(2xydx+(y2+z2−x2)dy)=0 inside the open dense set
U={(x,y,z)∈R3:xy(y2+z2−x2)=0}.
Therefore, the functions f1 and f2 are functionally independent in U, and the complete integral for the given system in the domain U can be given by the formula Φ(f1,f2) with an arbitrary smooth function Φ.
Answer. Φ(y−z,x2y−1+2y−2(y−z)log∣y∣−y−1(y−z)2) is the complete integral.
Comments