6.8.9 4.3

6.8.9.1 [1815] Problem 1

problem number 1815

Added Oct 10, 2019.

Problem Chapter 8.4.3.1, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.

Solve for \(w(x,y,z)\)

\[ w_x + a w_y + b w_z = c \tanh ^n(\beta x) w \]

Mathematica ✓

ClearAll["Global`*"]; 
pde =  D[w[x, y,z], x] + a*D[w[x, y,z], y] +  b*D[w[x,y,z],z]== c*Tanh[beta*x]^n*w[x,y,z]; 
sol =  AbsoluteTiming[TimeConstrained[DSolve[pde, w[x, y,z], {x,y,z}], 60*10]];
 

\[\left \{\left \{w(x,y,z)\to \exp \left (\frac {c \tanh ^{n+1}(\beta x) \operatorname {Hypergeometric2F1}\left (1,\frac {n+1}{2},\frac {n+3}{2},\tanh ^2(\beta x)\right )}{\beta n+\beta }\right ) c_1(y-a x,z-b x)\right \}\right \}\]

Maple ✓

restart; 
local gamma; 
pde :=  diff(w(x,y,z),x)+a*diff(w(x,y,z),y)+ b*diff(w(x,y,z),z)= c*tanh(beta*x)^n*w(x,y,z); 
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 x +y , -b x +z \right ) {\mathrm e}^{c \int \tanh \left (\beta x \right )^{n}d x}\]

___________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________

6.8.9.2 [1816] Problem 2

problem number 1816

Added Oct 10, 2019.

Problem Chapter 8.4.3.2, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.

Solve for \(w(x,y,z)\)

\[ a w_x + b w_y + c \tanh (\lambda x) w_z = \left ( k \tanh (\beta x)+s \tanh (\gamma z) \right ) w \]

Mathematica ✓

ClearAll["Global`*"]; 
pde =  a*D[w[x, y,z], x] + b*D[w[x, y,z], y] +  c*Tanh[lambda*x]*D[w[x,y,z],z]== (k*Tanh[beta*x]+s*Tanh[gamma*z])*w[x,y,z]; 
sol =  AbsoluteTiming[TimeConstrained[DSolve[pde, w[x, y,z], {x,y,z}], 60*10]];
 

\[\left \{\left \{w(x,y,z)\to c_1\left (y-\frac {b x}{a},z-\frac {c \log (\cosh (\lambda x))}{a \lambda }\right ) \exp \left (\int _1^x\frac {k \tanh (\beta K[1])+s \tanh \left (\frac {\gamma (a \lambda z-c \log (\cosh (\lambda x))+c \log (\cosh (\lambda K[1])))}{a \lambda }\right )}{a}dK[1]\right )\right \}\right \}\]

Maple ✓

restart; 
local gamma; 
pde :=  a*diff(w(x, y,z), x) + b*diff(w(x, y,z), y) +  c*tanh(lambda*x)*diff(w(x,y,z),z)= (k*tanh(beta*x)+s*tanh(gamma*z))*w(x,y,z); 
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 {a y -x b}{a}, \frac {z a \lambda -c \ln \left (\cosh \left (\lambda x \right )\right )}{a \lambda }\right ) {\mathrm e}^{\frac {\int _{}^{x}\left (k \tanh \left (\beta \textit {\_a} \right )+s \tanh \left (\frac {\gamma \left (z a \lambda -c \ln \left (\cosh \left (\lambda x \right )\right )+c \ln \left (\cosh \left (\lambda \textit {\_a} \right )\right )\right )}{a \lambda }\right )\right )d \textit {\_a}}{a}}\]

___________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________

6.8.9.3 [1817] Problem 3

problem number 1817

Added Oct 10, 2019.

Problem Chapter 8.4.3.3, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.

Solve for \(w(x,y,z)\)

\[ w_x + a \tanh ^n(\beta x) w_y + b \tanh ^k(\lambda x) w_z = c \tanh ^m(\gamma x) w \]

Mathematica ✓

ClearAll["Global`*"]; 
pde =  D[w[x, y,z], x] + a*Tanh[beta*x]^n*D[w[x, y,z], y] +  b*Tanh[lambda*x]^k*D[w[x,y,z],z]== c*Tanh[gamma*x]^m *w[x,y,z]; 
sol =  AbsoluteTiming[TimeConstrained[DSolve[pde, w[x, y,z], {x,y,z}], 60*10]];
 

\[\left \{\left \{w(x,y,z)\to \exp \left (\frac {c \tanh ^{m+1}(\gamma x) \operatorname {Hypergeometric2F1}\left (1,\frac {m+1}{2},\frac {m+3}{2},\tanh ^2(\gamma x)\right )}{\gamma m+\gamma }\right ) c_1\left (y-\frac {a \tanh ^{n+1}(\beta x) \operatorname {Hypergeometric2F1}\left (1,\frac {n+1}{2},\frac {n+3}{2},\tanh ^2(\beta x)\right )}{\beta n+\beta },z-\frac {b \tanh ^{k+1}(\lambda x) \operatorname {Hypergeometric2F1}\left (1,\frac {k+1}{2},\frac {k+3}{2},\tanh ^2(\lambda x)\right )}{k \lambda +\lambda }\right )\right \}\right \}\]

Maple ✓

restart; 
local gamma; 
pde :=  diff(w(x, y,z), x) + a*tanh(beta*x)^n*diff(w(x, y,z), y) +  b*tanh(lambda*x)^k*diff(w(x,y,z),z)= c*tanh(gamma*x)^m *w(x,y,z); 
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 \tanh \left (\beta x \right )^{n}d x +y , -b \int \tanh \left (\lambda x \right )^{k}d x +z \right ) {\mathrm e}^{c \int \tanh \left (\gamma x \right )^{m}d x}\]

___________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________

6.8.9.4 [1818] Problem 4

problem number 1818

Added Oct 10, 2019.

Problem Chapter 8.4.3.4, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.

Solve for \(w(x,y,z)\)

\[ a w_x + b \tanh (\beta y) w_y + c \tanh (\lambda x) w_z = k \tanh (\gamma z) w \]

Mathematica ✗

ClearAll["Global`*"]; 
pde =  a*D[w[x, y,z], x] + b*Tanh[beta*y]*D[w[x, y,z], y] +  c*Tanh[lambda*x]*D[w[x,y,z],z]== k*Tanh[gamma*z] *w[x,y,z]; 
sol =  AbsoluteTiming[TimeConstrained[DSolve[pde, w[x, y,z], {x,y,z}], 60*10]];
 

Failed

Maple ✓

restart; 
local gamma; 
pde :=  a*diff(w(x, y,z), x) + b*tanh(beta*y)*diff(w(x, y,z), y) +  c*tanh(lambda*x)*diff(w(x,y,z),z)= k*tanh(gamma*z) *w(x,y,z); 
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 {-x b \beta +\ln \left (-\frac {\tanh \left (\beta y \right )}{\sqrt {-\operatorname {sech}\left (\beta y \right )^{2}}}\right ) a}{b \beta }, \frac {z a \lambda -c \ln \left (\cosh \left (\lambda x \right )\right )}{a \lambda }\right ) {\mathrm e}^{\frac {k \int _{}^{x}\tanh \left (\frac {\gamma \left (z a \lambda -c \ln \left (\cosh \left (\lambda x \right )\right )+c \ln \left (\cosh \left (\lambda \textit {\_a} \right )\right )\right )}{a \lambda }\right )d \textit {\_a}}{a}}\]

___________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________

6.8.9.5 [1819] Problem 5

problem number 1819

Added Oct 10, 2019.

Problem Chapter 8.4.3.5, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.

Solve for \(w(x,y,z)\)

\[ a w_x + b \tanh (\beta y) w_y + c \tanh (\gamma z) w_z = k \tanh (\lambda x) w \]

Mathematica ✓

ClearAll["Global`*"]; 
pde =  a*D[w[x, y,z], x] + b*Tanh[beta*y]*D[w[x, y,z], y] +  c*Tanh[gamma*z]*D[w[x,y,z],z]== k*Tanh[lambda*x] *w[x,y,z]; 
sol =  AbsoluteTiming[TimeConstrained[DSolve[pde, w[x, y,z], {x,y,z}], 60*10]];
 

\[\left \{\left \{w(x,y,z)\to \cosh ^{\frac {k}{a \lambda }}(\lambda x) c_1\left (\frac {1}{2} \left (\frac {\log (\sinh (\gamma z))}{\gamma }-\frac {c x}{a}\right ),\frac {\log (\sinh (\beta y))}{\beta }-\frac {b \log (\sinh (\gamma z))}{c \gamma }\right )\right \}\right \}\]

Maple ✓

restart; 
local gamma; 
pde :=  a*diff(w(x, y,z), x) + b*tanh(beta*y)*diff(w(x, y,z), y) +  c*tanh(gamma*z)*diff(w(x,y,z),z)= k*tanh(lambda*x) *w(x,y,z); 
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 {-x b \beta +\ln \left (-\frac {\tanh \left (\beta y \right )}{\sqrt {-\operatorname {sech}\left (\beta y \right )^{2}}}\right ) a}{b \beta }, \frac {-x c \gamma +\ln \left (\frac {\tanh \left (\gamma z \right )}{\sqrt {-\operatorname {sech}\left (\gamma z \right )^{2}}}\right ) a}{c \gamma }\right ) \cosh \left (\lambda x \right )^{\frac {k}{a \lambda }}\]

___________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________

6.8.9.6 [1820] Problem 6

problem number 1820

Added Oct 10, 2019.

Problem Chapter 8.4.3.6, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.

Solve for \(w(x,y,z)\)

\[ a_1 \tanh ^{n_1}(\lambda _1 x) w_x + b_1 \tanh ^{m_1}(\beta _1 y) w_y + c_1 \tanh ^{k_1}(\gamma _1 z) w_z = \left ( a_2 \tanh ^{n_2}(\lambda _2 x) w_x + b_2 \tanh ^{m_2}(\beta _2 y) w_y + c_2 \tanh ^{k_2}(\gamma _2 z) \right ) w \]

Mathematica ✗

ClearAll["Global`*"]; 
pde =  a1*Tanh[lambda1*x]^n1*D[w[x, y,z], x] + b1*Tanh[beta1*y]^m1*D[w[x, y,z], y] +  c1*Tanh[gamma1*x]^k1*D[w[x, y,z], z]== (a2*Tanh[lambda2*x]^n2+b2*Tanh[beta2*y]^m2+c2*Tanh[gamma2*x]^k2) *w[x,y,z]; 
sol =  AbsoluteTiming[TimeConstrained[DSolve[pde, w[x, y,z], {x,y,z}], 60*10]];
 

Failed

Maple ✓

restart; 
local gamma; 
pde :=  a1*tanh(lambda1*x)^n1*diff(w(x, y,z), x) + b1*tanh(beta1*y)^m1*diff(w(x, y,z), y) +  c1*tanh(gamma1*x)^k1*diff(w(x,y,z),z)= ( a2*tanh(lambda2*x)^n2+b2*tanh(beta2*y)^m2+c2*tanh(gamma2*x)^k2) *w(x,y,z); 
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 (-\int \tanh \left (\lambda \operatorname {1} x \right )^{-\operatorname {n1}}d x +\frac {\operatorname {a1} \int \tanh \left (\beta \operatorname {1} y \right )^{-\operatorname {m1}}d y}{\operatorname {b1}}, -\frac {\operatorname {c1} \int \tanh \left (\gamma \operatorname {1} x \right )^{\operatorname {k1}} \tanh \left (\lambda \operatorname {1} x \right )^{-\operatorname {n1}}d x}{\operatorname {a1}}+z \right ) {\mathrm e}^{\frac {\int _{}^{x}\left (\operatorname {a2} \tanh \left (\lambda \operatorname {2} \textit {\_f} \right )^{\operatorname {n2}}+\operatorname {b2} {\tanh \left (\beta \operatorname {2} \operatorname {RootOf}\left (\int \tanh \left (\lambda \operatorname {1} \textit {\_f} \right )^{-\operatorname {n1}}d \textit {\_f} \operatorname {b1} -\operatorname {a1} \int _{}^{\textit {\_Z}}\tanh \left (\beta \operatorname {1} \textit {\_a} \right )^{-\operatorname {m1}}d \textit {\_a} -\int \tanh \left (\lambda \operatorname {1} x \right )^{-\operatorname {n1}}d x \operatorname {b1} +\operatorname {a1} \int \tanh \left (\beta \operatorname {1} y \right )^{-\operatorname {m1}}d y \right )\right )}^{\operatorname {m2}}+\operatorname {c2} \tanh \left (\gamma \operatorname {2} \textit {\_f} \right )^{\operatorname {k2}}\right ) \tanh \left (\lambda \operatorname {1} \textit {\_f} \right )^{-\operatorname {n1}}d \textit {\_f}}{\operatorname {a1}}}\]

___________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________