6.7.19 6.5
6.7.19.1 [1696] Problem 1
problem number 1696
Added June 26, 2019.
Problem Chapter 7.6.5.1, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.
Solve for \(w(x,y,z)\)
\[ w_x + a \sin ^n(\lambda x) w_y + b \cos ^m(\beta x) w_z = c \sin ^k(\gamma x)+s \]
Mathematica ✓
ClearAll["Global`*"];
pde = D[w[x, y,z], x] + a*Sin[lambda*x]^n*D[w[x, y,z], y] + b*Cos[beta*x]^m*D[w[x,y,z],z]== c*Sin[gamma*x]^k+s;
sol = AbsoluteTiming[TimeConstrained[DSolve[pde, w[x, y,z], {x, y,z}], 60*10]];
\[\left \{\left \{w(x,y,z)\to c_1\left (\frac {b \sqrt {\sin ^2(\beta x)} \csc (\beta x) \cos ^{m+1}(\beta x) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {m+1}{2},\frac {m+3}{2},\cos ^2(\beta x)\right )}{\beta m+\beta }+z,y-\frac {a \sqrt {\cos ^2(\lambda x)} \sec (\lambda x) \sin ^{n+1}(\lambda x) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {n+1}{2},\frac {n+3}{2},\sin ^2(\lambda x)\right )}{\lambda n+\lambda }\right )+\frac {c \sqrt {\cos ^2(\gamma x)} \sec (\gamma x) \sin ^{k+1}(\gamma x) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {k+1}{2},\frac {k+3}{2},\sin ^2(\gamma x)\right )}{\gamma k+\gamma }+s x\right \}\right \}\]
Maple ✓
restart;
local gamma;
pde := diff(w(x,y,z),x)+ a*sin(lambda*x)^n*diff(w(x,y,z),y)+ b*cos(beta*x)^m*diff(w(x,y,z),z)= c*sin(gamma*x)^k+s;
cpu_time := timelimit(60*10,CodeTools[Usage](assign('sol',pdsolve(pde,w(x,y,z))),output='realtime'));
\[w \left (x , y , z\right ) = c \int \sin \left (\gamma x \right )^{k}d x +s x +f_{1} \left (-a \int \sin \left (\lambda x \right )^{n}d x +y , -b \int \cos \left (\beta x \right )^{m}d x +z \right )\]
___________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________
6.7.19.2 [1697] Problem 2
problem number 1697
Added June 26, 2019.
Problem Chapter 7.6.5.2, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.
Solve for \(w(x,y,z)\)
\[ w_x + a \cos ^n(\lambda x) w_y + b \sin ^m(\beta y) w_z = c \cos ^k(\gamma y)+s \sin ^r(\mu z) \]
Mathematica ✓
ClearAll["Global`*"];
pde = D[w[x, y,z], x] + a*Cos[lambda*x]^n*D[w[x, y,z], y] + b*Sin[beta*y]^m*D[w[x,y,z],z]== c*Cos[gamma*x]^k+s*Sin[mu*z]^r;
sol = AbsoluteTiming[TimeConstrained[DSolve[pde, w[x, y,z], {x, y,z}], 60*10]];
\[\left \{\left \{w(x,y,z)\to \int _1^x\left (c \cos ^k(\gamma K[2])+s \sin ^r\left (\mu \left (z-\int _1^xb \sin ^m\left (\frac {\beta \left (a \csc (\lambda x) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {n+1}{2},\frac {n+3}{2},\cos ^2(\lambda x)\right ) \sqrt {\sin ^2(\lambda x)} \cos ^{n+1}(\lambda x)+\lambda (n+1) y-a \cos ^{n+1}(\lambda K[1]) \csc (\lambda K[1]) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {n+1}{2},\frac {n+3}{2},\cos ^2(\lambda K[1])\right ) \sqrt {\sin ^2(\lambda K[1])}\right )}{\lambda (n+1)}\right )dK[1]+\int _1^{K[2]}b \sin ^m\left (\frac {\beta \left (a \csc (\lambda x) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {n+1}{2},\frac {n+3}{2},\cos ^2(\lambda x)\right ) \sqrt {\sin ^2(\lambda x)} \cos ^{n+1}(\lambda x)+\lambda (n+1) y-a \cos ^{n+1}(\lambda K[1]) \csc (\lambda K[1]) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {n+1}{2},\frac {n+3}{2},\cos ^2(\lambda K[1])\right ) \sqrt {\sin ^2(\lambda K[1])}\right )}{\lambda (n+1)}\right )dK[1]\right )\right )\right )dK[2]+c_1\left (\frac {a \sqrt {\sin ^2(\lambda x)} \csc (\lambda x) \cos ^{n+1}(\lambda x) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {n+1}{2},\frac {n+3}{2},\cos ^2(\lambda x)\right )}{\lambda n+\lambda }+y,z-\int _1^xb \sin ^m\left (\frac {\beta \left (a \csc (\lambda x) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {n+1}{2},\frac {n+3}{2},\cos ^2(\lambda x)\right ) \sqrt {\sin ^2(\lambda x)} \cos ^{n+1}(\lambda x)+\lambda (n+1) y-a \cos ^{n+1}(\lambda K[1]) \csc (\lambda K[1]) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {n+1}{2},\frac {n+3}{2},\cos ^2(\lambda K[1])\right ) \sqrt {\sin ^2(\lambda K[1])}\right )}{\lambda (n+1)}\right )dK[1]\right )\right \}\right \}\]
Maple ✓
restart;
local gamma;
pde := diff(w(x,y,z),x)+ a*cos(lambda*x)^n*diff(w(x,y,z),y)+ b*sin(beta*y)^m*diff(w(x,y,z),z)= c*cos(gamma*y)^k+s*sin(mu*z)^r;
cpu_time := timelimit(60*10,CodeTools[Usage](assign('sol',pdsolve(pde,w(x,y,z))),output='realtime'));
\[w \left (x , y , z\right ) = f_{1} \left (-a \int \cos \left (\lambda x \right )^{n}d x +y , -b \int _{}^{x}{\left (-\sin \left (\beta \left (a \int \cos \left (\lambda x \right )^{n}d x -a \int \cos \left (\lambda \textit {\_f} \right )^{n}d \textit {\_f} -y \right )\right )\right )}^{m}d \textit {\_f} +z \right )+\int _{}^{x}\left (c {\cos \left (\gamma \left (a \int \cos \left (\lambda x \right )^{n}d x -a \int \cos \left (\lambda \textit {\_f} \right )^{n}d \textit {\_f} -y \right )\right )}^{k}+s {\sin \left (\mu \left (\int {\left (-\sin \left (\beta \left (a \int \cos \left (\lambda x \right )^{n}d x -a \int \cos \left (\lambda \textit {\_f} \right )^{n}d \textit {\_f} -y \right )\right )\right )}^{m}d \textit {\_f} b -b \int _{}^{x}{\left (-\sin \left (\beta \left (a \int \cos \left (\lambda x \right )^{n}d x -a \int \cos \left (\lambda \textit {\_f} \right )^{n}d \textit {\_f} -y \right )\right )\right )}^{m}d \textit {\_f} +z \right )\right )}^{r}\right )d \textit {\_f}\]
___________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________
6.7.19.3 [1698] Problem 3
problem number 1698
Added June 26, 2019.
Problem Chapter 7.6.5.3, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.
Solve for \(w(x,y,z)\)
\[ w_x + a \cos ^n(\lambda x) w_y + b \tan ^m(\beta y) w_z = c \cos ^k(\gamma y)+s \tan ^r(\mu z) \]
Mathematica ✓
ClearAll["Global`*"];
pde = D[w[x, y,z], x] + a*Cos[lambda*x]^n*D[w[x, y,z], y] + b*Tan[beta*y]^m*D[w[x,y,z],z]== c*Cos[gamma*x]^k+s*Tan[mu*z]^r;
sol = AbsoluteTiming[TimeConstrained[DSolve[pde, w[x, y,z], {x, y,z}], 60*10]];
\[\left \{\left \{w(x,y,z)\to \int _1^x\left (c \cos ^k(\gamma K[2])+s \tan ^r\left (\mu \left (z-\int _1^xb \tan ^m\left (\frac {\beta \left (a \csc (\lambda x) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {n+1}{2},\frac {n+3}{2},\cos ^2(\lambda x)\right ) \sqrt {\sin ^2(\lambda x)} \cos ^{n+1}(\lambda x)+\lambda (n+1) y-a \cos ^{n+1}(\lambda K[1]) \csc (\lambda K[1]) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {n+1}{2},\frac {n+3}{2},\cos ^2(\lambda K[1])\right ) \sqrt {\sin ^2(\lambda K[1])}\right )}{\lambda (n+1)}\right )dK[1]+\int _1^{K[2]}b \tan ^m\left (\frac {\beta \left (a \csc (\lambda x) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {n+1}{2},\frac {n+3}{2},\cos ^2(\lambda x)\right ) \sqrt {\sin ^2(\lambda x)} \cos ^{n+1}(\lambda x)+\lambda (n+1) y-a \cos ^{n+1}(\lambda K[1]) \csc (\lambda K[1]) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {n+1}{2},\frac {n+3}{2},\cos ^2(\lambda K[1])\right ) \sqrt {\sin ^2(\lambda K[1])}\right )}{\lambda (n+1)}\right )dK[1]\right )\right )\right )dK[2]+c_1\left (\frac {a \sqrt {\sin ^2(\lambda x)} \csc (\lambda x) \cos ^{n+1}(\lambda x) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {n+1}{2},\frac {n+3}{2},\cos ^2(\lambda x)\right )}{\lambda n+\lambda }+y,z-\int _1^xb \tan ^m\left (\frac {\beta \left (a \csc (\lambda x) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {n+1}{2},\frac {n+3}{2},\cos ^2(\lambda x)\right ) \sqrt {\sin ^2(\lambda x)} \cos ^{n+1}(\lambda x)+\lambda (n+1) y-a \cos ^{n+1}(\lambda K[1]) \csc (\lambda K[1]) \operatorname {Hypergeometric2F1}\left (\frac {1}{2},\frac {n+1}{2},\frac {n+3}{2},\cos ^2(\lambda K[1])\right ) \sqrt {\sin ^2(\lambda K[1])}\right )}{\lambda (n+1)}\right )dK[1]\right )\right \}\right \}\]
Maple ✓
restart;
local gamma;
pde := diff(w(x,y,z),x)+ a*cos(lambda*x)^n*diff(w(x,y,z),y)+ b*tan(beta*y)^m*diff(w(x,y,z),z)= c*cos(gamma*y)^k+s*tan(mu*z)^r;
cpu_time := timelimit(60*10,CodeTools[Usage](assign('sol',pdsolve(pde,w(x,y,z))),output='realtime'));
\[w \left (x , y , z\right ) = f_{1} \left (-a \int \cos \left (\lambda x \right )^{n}d x +y , -b \int _{}^{x}{\left (-\frac {\tan \left (\beta \left (a \int \cos \left (\lambda x \right )^{n}d x -y \right )\right )-\tan \left (\beta a \int \cos \left (\lambda \textit {\_f} \right )^{n}d \textit {\_f} \right )}{1+\tan \left (\beta \left (a \int \cos \left (\lambda x \right )^{n}d x -y \right )\right ) \tan \left (\beta a \int \cos \left (\lambda \textit {\_f} \right )^{n}d \textit {\_f} \right )}\right )}^{m}d \textit {\_f} +z \right )+\int _{}^{x}\left (c {\cos \left (\gamma \left (a \int \cos \left (\lambda \textit {\_f} \right )^{n}d \textit {\_f} -a \int \cos \left (\lambda x \right )^{n}d x +y \right )\right )}^{k}+s {\left (\frac {-\tan \left (\mu \left (b \int _{}^{x}{\left (-\frac {\tan \left (\beta \left (a \int \cos \left (\lambda x \right )^{n}d x -y \right )\right )-\tan \left (\beta a \int \cos \left (\lambda \textit {\_f} \right )^{n}d \textit {\_f} \right )}{1+\tan \left (\beta \left (a \int \cos \left (\lambda x \right )^{n}d x -y \right )\right ) \tan \left (\beta a \int \cos \left (\lambda \textit {\_f} \right )^{n}d \textit {\_f} \right )}\right )}^{m}d \textit {\_f} -z \right )\right )+\tan \left (\mu b \int {\left (-\frac {\tan \left (\beta \left (a \int \cos \left (\lambda x \right )^{n}d x -y \right )\right )-\tan \left (\beta a \int \cos \left (\lambda \textit {\_f} \right )^{n}d \textit {\_f} \right )}{1+\tan \left (\beta \left (a \int \cos \left (\lambda x \right )^{n}d x -y \right )\right ) \tan \left (\beta a \int \cos \left (\lambda \textit {\_f} \right )^{n}d \textit {\_f} \right )}\right )}^{m}d \textit {\_f} \right )}{1+\tan \left (\mu \left (b \int _{}^{x}{\left (-\frac {\tan \left (\beta \left (a \int \cos \left (\lambda x \right )^{n}d x -y \right )\right )-\tan \left (\beta a \int \cos \left (\lambda \textit {\_f} \right )^{n}d \textit {\_f} \right )}{1+\tan \left (\beta \left (a \int \cos \left (\lambda x \right )^{n}d x -y \right )\right ) \tan \left (\beta a \int \cos \left (\lambda \textit {\_f} \right )^{n}d \textit {\_f} \right )}\right )}^{m}d \textit {\_f} -z \right )\right ) \tan \left (\mu b \int {\left (-\frac {\tan \left (\beta \left (a \int \cos \left (\lambda x \right )^{n}d x -y \right )\right )-\tan \left (\beta a \int \cos \left (\lambda \textit {\_f} \right )^{n}d \textit {\_f} \right )}{1+\tan \left (\beta \left (a \int \cos \left (\lambda x \right )^{n}d x -y \right )\right ) \tan \left (\beta a \int \cos \left (\lambda \textit {\_f} \right )^{n}d \textit {\_f} \right )}\right )}^{m}d \textit {\_f} \right )}\right )}^{r}\right )d \textit {\_f}\]
___________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________
6.7.19.4 [1699] Problem 4
problem number 1699
Added June 26, 2019.
Problem Chapter 7.6.5.4, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.
Solve for \(w(x,y,z)\)
\[ a1 \sin ^{n1}(\lambda _1 x) w_x + b1 \cos ^{m1}(\beta _1 y) w_y + c1 \cos ^{k1}(\gamma _1 z) w_z = a2 \cos ^{n2}(\lambda _2 x) + b2 \sin ^{m2}(\beta _2 y) + c2 \cos ^{k2}(\gamma _2 z) \]
Mathematica ✗
ClearAll["Global`*"];
pde = a1*Sin[lambda1*x]^n1*D[w[x, y,z], x] + b1*Cos[beta1*y]^m1*D[w[x, y,z], y] + c1*Cos[gamma1*z]^k1*D[w[x,y,z],z]==a2*Cos[lambda2*x]^n2 + b2*Sin[beta2*y]^m2 + c2*Cos[gamma2*z]^k2;
sol = AbsoluteTiming[TimeConstrained[DSolve[pde, w[x, y,z], {x, y,z}], 60*10]];
$Aborted
Maple ✓
restart;
local gamma;
pde := a1*sin(lambda1*x)^n1*diff(w(x,y,z),x)+ b1*cos(beta1*x)^m1*diff(w(x,y,z),y)+ c1*cos(gamma1*z)^k1*diff(w(x,y,z),z)= a2*cos(lambda2*x)^n2+ b2*sin(beta2*x)^m2+ c2*cos(gamma2*z)^k2;
cpu_time := timelimit(60*10,CodeTools[Usage](assign('sol',pdsolve(pde,w(x,y,z))),output='realtime'));
\[w \left (x , y , z\right ) = f_{1} \left (-\frac {\operatorname {b1} \int \cos \left (\beta \operatorname {1} x \right )^{\operatorname {m1}} \sin \left (\lambda \operatorname {1} x \right )^{-\operatorname {n1}}d x}{\operatorname {a1}}+y , -\int \sin \left (\lambda \operatorname {1} x \right )^{-\operatorname {n1}}d x +\frac {\operatorname {a1} \int \cos \left (\gamma \operatorname {1} z \right )^{-\operatorname {k1}}d z}{\operatorname {c1}}\right )+\frac {\int _{}^{x}\sin \left (\lambda \operatorname {1} \textit {\_f} \right )^{-\operatorname {n1}} \left (\operatorname {a2} \cos \left (\lambda \operatorname {2} \textit {\_f} \right )^{\operatorname {n2}}+\operatorname {b2} \sin \left (\beta \operatorname {2} \textit {\_f} \right )^{\operatorname {m2}}+\operatorname {c2} {\cos \left (\gamma \operatorname {2} \operatorname {RootOf}\left (\int \sin \left (\lambda \operatorname {1} \textit {\_f} \right )^{-\operatorname {n1}}d \textit {\_f} \operatorname {c1} -\operatorname {a1} \int _{}^{\textit {\_Z}}\cos \left (\gamma \operatorname {1} \textit {\_a} \right )^{-\operatorname {k1}}d \textit {\_a} -\int \sin \left (\lambda \operatorname {1} x \right )^{-\operatorname {n1}}d x \operatorname {c1} +\operatorname {a1} \int \cos \left (\gamma \operatorname {1} z \right )^{-\operatorname {k1}}d z \right )\right )}^{\operatorname {k2}}\right )d \textit {\_f}}{\operatorname {a1}}\]
___________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________
6.7.19.5 [1700] Problem 5
problem number 1700
Added June 26, 2019.
Problem Chapter 7.6.5.5, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.
Solve for \(w(x,y,z)\)
\[ a1 \tan ^{n1}(\lambda _1 x) w_x + b1 \cot ^{m1}(\beta _1 y) w_y + c1 \cot ^{k1}(\gamma _1 z) w_z = a2 \cot ^{n2}(\lambda _2 x) + b2 \tan ^{m2}(\beta _2 y) + c2 \cot ^{k2}(\gamma _2 z) \]
Mathematica ✗
ClearAll["Global`*"];
pde = a1*Tan[lambda1*x]^n1*D[w[x, y,z], x] + b1*Cot[beta1*y]^m1*D[w[x, y,z], y] + c1*Cot[gamma1*z]^k1*D[w[x,y,z],z]==a2*Cot[lambda2*x]^n2 + b2*Tan[beta2*y]^m2 + c2*Cot[gamma2*z]^k2;
sol = AbsoluteTiming[TimeConstrained[DSolve[pde, w[x, y,z], {x, y,z}], 60*10]];
Failed
Maple ✓
restart;
local gamma;
pde := a1*tan(lambda1*x)^n1*diff(w(x,y,z),x)+ b1*cot(beta1*x)^m1*diff(w(x,y,z),y)+ c1*cot(gamma1*z)^k1*diff(w(x,y,z),z)= a2*cot(lambda2*x)^n2+ b2*tan(beta2*x)^m2+ c2*cot(gamma2*z)^k2;
cpu_time := timelimit(60*10,CodeTools[Usage](assign('sol',pdsolve(pde,w(x,y,z))),output='realtime'));
\[w \left (x , y , z\right ) = f_{1} \left (-\frac {\operatorname {b1} \int \cot \left (\beta \operatorname {1} x \right )^{\operatorname {m1}} \tan \left (\lambda \operatorname {1} x \right )^{-\operatorname {n1}}d x}{\operatorname {a1}}+y , -\int \tan \left (\lambda \operatorname {1} x \right )^{-\operatorname {n1}}d x +\frac {\operatorname {a1} \int \cot \left (\gamma \operatorname {1} z \right )^{-\operatorname {k1}}d z}{\operatorname {c1}}\right )+\frac {\int _{}^{x}\tan \left (\lambda \operatorname {1} \textit {\_f} \right )^{-\operatorname {n1}} \left (\operatorname {a2} \cot \left (\lambda \operatorname {2} \textit {\_f} \right )^{\operatorname {n2}}+\operatorname {b2} \tan \left (\beta \operatorname {2} \textit {\_f} \right )^{\operatorname {m2}}+\operatorname {c2} {\cot \left (\gamma \operatorname {2} \operatorname {RootOf}\left (\int \tan \left (\lambda \operatorname {1} \textit {\_f} \right )^{-\operatorname {n1}}d \textit {\_f} \operatorname {c1} +\operatorname {a1} \int \cot \left (\gamma \operatorname {1} z \right )^{-\operatorname {k1}}d z -\int \tan \left (\lambda \operatorname {1} x \right )^{-\operatorname {n1}}d x \operatorname {c1} -\operatorname {a1} \int _{}^{\textit {\_Z}}\cot \left (\gamma \operatorname {1} \textit {\_a} \right )^{-\operatorname {k1}}d \textit {\_a} \right )\right )}^{\operatorname {k2}}\right )d \textit {\_f}}{\operatorname {a1}}\]
___________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________