Added May 19, 2019.
Problem Chapter 6.4.2.1, 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 \cosh (\beta x) w_z = 0 \]
Mathematica ✓
ClearAll["Global`*"]; pde = a*D[w[x, y,z], x] + b*D[w[x, y,z], y] +c*Cosh[beta*x]*D[w[x,y,z],z]==0; 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 \sinh (\beta x)}{a \beta }\right )\right \}\right \}\]
Maple ✓
restart; pde := a*diff(w(x,y,z),x)+ b*diff(w(x,y,z),y)+c*cosh(beta*x)*diff(w(x,y,z),z)= 0; cpu_time := timelimit(60*10,CodeTools[Usage](assign('sol',pdsolve(pde,w(x,y,z))),output='realtime'));
\[w \left ( x,y,z \right ) ={\it \_F1} \left ( {\frac {ay-xb}{a}},{\frac {za\beta -\sinh \left ( \beta \,x \right ) c}{a\beta }} \right ) \]
____________________________________________________________________________________
Added May 19, 2019.
Problem Chapter 6.4.2.2, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.
Solve for \(w(x,y,z)\)
\[ a w_x + b \cosh (\beta x) w_y + c \cosh (\lambda x) w_z = 0 \]
Mathematica ✓
ClearAll["Global`*"]; pde = a*D[w[x, y,z], x] + b*Cosh[beta*x]*D[w[x, y,z], y] +c*Cosh[lambda*x]*D[w[x,y,z],z]==0; 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 \sinh (\beta x)}{a \beta },z-\frac {c \sinh (\lambda x)}{a \lambda }\right )\right \}\right \}\]
Maple ✓
restart; pde := a*diff(w(x,y,z),x)+ b*cosh(beta*x)*diff(w(x,y,z),y)+c*cosh(lambda*x)*diff(w(x,y,z),z)= 0; cpu_time := timelimit(60*10,CodeTools[Usage](assign('sol',pdsolve(pde,w(x,y,z))),output='realtime'));
\[w \left ( x,y,z \right ) ={\it \_F1} \left ( {\frac {ya\beta -\sinh \left ( \beta \,x \right ) b}{a\beta }},{\frac {za\lambda -c\sinh \left ( x\lambda \right ) }{a\lambda }} \right ) \]
____________________________________________________________________________________
Added May 19, 2019.
Problem Chapter 6.4.2.3, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.
Solve for \(w(x,y,z)\)
\[ a w_x + b \cosh (\beta y) w_y + c \cosh (\lambda x) w_z = 0 \]
Mathematica ✓
ClearAll["Global`*"]; pde = a*D[w[x, y,z], x] + b*Cosh[beta*y]*D[w[x, y,z], y] +c*Cosh[lambda*x]*D[w[x,y,z],z]==0; 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 {2 \tan ^{-1}\left (\tanh \left (\frac {\beta y}{2}\right )\right )}{\beta }-\frac {b x}{a},z-\frac {c \sinh (\lambda x)}{a \lambda }\right )\right \}\right \}\]
Maple ✓
restart; pde := a*diff(w(x,y,z),x)+ b*cosh(beta*y)*diff(w(x,y,z),y)+c*cosh(lambda*x)*diff(w(x,y,z),z)= 0; cpu_time := timelimit(60*10,CodeTools[Usage](assign('sol',pdsolve(pde,w(x,y,z))),output='realtime'));
\[w \left ( x,y,z \right ) ={\it \_F1} \left ( {\frac {-b\beta \,x+2\,\arctan \left ( {{\rm e}^{\beta \,y}} \right ) a}{\beta \,b}},{\frac {za\lambda -c\sinh \left ( x\lambda \right ) }{a\lambda }} \right ) \]
____________________________________________________________________________________
Added May 19, 2019.
Problem Chapter 6.4.2.4, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.
Solve for \(w(x,y,z)\)
\[ a w_x + b \cosh (\beta y) w_y + c \cosh (\gamma z) w_z = 0 \]
Mathematica ✓
ClearAll["Global`*"]; pde = a*D[w[x, y,z], x] + b*Cosh[beta*y]*D[w[x, y,z], y] +c*Cosh[gamma*z]*D[w[x,y,z],z]==0; 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 {2 \tan ^{-1}\left (\tanh \left (\frac {\beta y}{2}\right )\right )}{\beta }-\frac {b x}{a},\frac {2 \tan ^{-1}\left (\tanh \left (\frac {\gamma z}{2}\right )\right )}{\gamma }-\frac {c x}{a}\right )\right \}\right \}\]
Maple ✓
restart; pde := a*diff(w(x,y,z),x)+ b*cosh(beta*y)*diff(w(x,y,z),y)+c*cosh(gamma*z)*diff(w(x,y,z),z)= 0; cpu_time := timelimit(60*10,CodeTools[Usage](assign('sol',pdsolve(pde,w(x,y,z))),output='realtime'));
\[w \left ( x,y,z \right ) ={\it \_F1} \left ( {\frac {-b\beta \,x+2\,\arctan \left ( {{\rm e}^{\beta \,y}} \right ) a}{\beta \,b}},{\frac {-c\gamma \,x+2\,\arctan \left ( {{\rm e}^{\gamma \,z}} \right ) a}{c\gamma }} \right ) \]
____________________________________________________________________________________
Added May 19, 2019.
Problem Chapter 6.4.2.5, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.
Solve for \(w(x,y,z)\)
\[ a \cosh (\lambda x) w_x + b \cosh (\beta y) w_y + c \cosh (\gamma z) w_z = 0 \]
Mathematica ✓
ClearAll["Global`*"]; pde = a*Cosh[lambda*x]*D[w[x, y,z], x] + b*Cosh[beta*y]*D[w[x, y,z], y] +c*Cosh[gamma*z]*D[w[x,y,z],z]==0; 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 {2 \tan ^{-1}\left (\tanh \left (\frac {\beta y}{2}\right )\right )}{\beta }-\frac {2 b \tan ^{-1}\left (\tanh \left (\frac {\lambda x}{2}\right )\right )}{a \lambda },\frac {2 \tan ^{-1}\left (\tanh \left (\frac {\gamma z}{2}\right )\right )}{\gamma }-\frac {2 c \tan ^{-1}\left (\tanh \left (\frac {\lambda x}{2}\right )\right )}{a \lambda }\right )\right \}\right \}\]
Maple ✓
restart; pde := a*cosh(lambda*x)*diff(w(x,y,z),x)+ b*cosh(beta*y)*diff(w(x,y,z),y)+c*cosh(gamma*z)*diff(w(x,y,z),z)= 0; cpu_time := timelimit(60*10,CodeTools[Usage](assign('sol',pdsolve(pde,w(x,y,z))),output='realtime'));
\[w \left ( x,y,z \right ) ={\it \_F1} \left ( {\frac {2\,\arctan \left ( {{\rm e}^{\beta \,y}} \right ) a\lambda -2\,\arctan \left ( {{\rm e}^{x\lambda }} \right ) b\beta }{b\beta \,\lambda }},{\frac {2\,\arctan \left ( {{\rm e}^{\gamma \,z}} \right ) a\lambda -2\,\arctan \left ( {{\rm e}^{x\lambda }} \right ) \gamma \,c}{\lambda \,c\gamma }} \right ) \]
____________________________________________________________________________________
Added May 19, 2019.
Problem Chapter 6.4.2.6, from Handbook of first order partial differential equations by Polyanin, Zaitsev, Moussiaux.
Solve for \(w(x,y,z)\)
\[ a \cosh (\beta y) w_x + b \cosh (\lambda x) w_y + c \cosh (\gamma z) w_z = 0 \]
Mathematica ✗
ClearAll["Global`*"]; pde = a*Cosh[beta*y]*D[w[x, y,z], x] + b*Cosh[lambda*x]*D[w[x, y,z], y] +c*Cosh[gamma*z]*D[w[x,y,z],z]==0; sol = AbsoluteTiming[TimeConstrained[DSolve[pde, w[x, y,z], {x, y,z}], 60*10]];
Failed
Maple ✓
restart; pde := a*cosh(beta*y)*diff(w(x,y,z),x)+ b*cosh(lambda*x)*diff(w(x,y,z),y)+c*cosh(gamma*z)*diff(w(x,y,z),z)= 0; cpu_time := timelimit(60*10,CodeTools[Usage](assign('sol',pdsolve(pde,w(x,y,z))),output='realtime'));
\[w \left ( x,y,z \right ) ={\it \_F1} \left ( {\frac {-\sinh \left ( x\lambda \right ) b\beta +a\sinh \left ( \beta \,y \right ) \lambda }{b\beta \,\lambda }},-4\,{\frac {1}{\sqrt { \left ( -\sinh \left ( x\lambda \right ) +i \right ) \left ( \sinh \left ( x\lambda \right ) +i \right ) \left ( i-\sinh \left ( \beta \,y \right ) \right ) \left ( i+\sinh \left ( \beta \,y \right ) \right ) }\sqrt { \left ( \sinh \left ( \beta \,y \right ) \right ) ^{2}+1}\gamma \,c\lambda \,\cosh \left ( x\lambda \right ) \left ( -\sinh \left ( x\lambda \right ) b\beta +a\sinh \left ( \beta \,y \right ) \lambda +ia\lambda -i\beta \,b \right ) } \left ( \gamma \, \left ( \left ( -1/2\, \left ( \sinh \left ( x\lambda \right ) \right ) ^{2}\sinh \left ( \beta \,y \right ) a\lambda +1/2\, \left ( \sinh \left ( x\lambda \right ) \right ) ^{3}b\beta +1/2\,a\sinh \left ( \beta \,y \right ) \lambda +1/2\,\sinh \left ( x\lambda \right ) b\beta \right ) \sqrt {- \left ( \left ( \sinh \left ( \beta \,y \right ) \right ) ^{2}+1 \right ) \left ( \cosh \left ( x\lambda \right ) \right ) ^{2}}+ \left ( \left ( 1/2\,a\lambda -1/2\,\beta \,b \right ) \left ( \sinh \left ( x\lambda \right ) \right ) ^{2}+\lambda \, \left ( i+\sinh \left ( \beta \,y \right ) \right ) a\sinh \left ( x\lambda \right ) -1/2\,a\lambda -1/2\,\beta \,b \right ) \sqrt { \left ( \left ( \sinh \left ( \beta \,y \right ) \right ) ^{2}+1 \right ) \left ( \cosh \left ( x\lambda \right ) \right ) ^{2}} \right ) \sqrt {{\frac {ia\lambda \, \left ( i+\sinh \left ( \beta \,y \right ) \right ) }{ \left ( -\sinh \left ( x\lambda \right ) b\beta +a\sinh \left ( \beta \,y \right ) \lambda +ia\lambda +i\beta \,b \right ) \left ( \sinh \left ( x\lambda \right ) +i \right ) }}}\sqrt {-{\frac { \left ( -\sinh \left ( x\lambda \right ) b\beta +a\sinh \left ( \beta \,y \right ) \lambda +ia\lambda -i\beta \,b \right ) \left ( -\sinh \left ( x\lambda \right ) +i \right ) }{ \left ( -\sinh \left ( x\lambda \right ) b\beta +a\sinh \left ( \beta \,y \right ) \lambda +ia\lambda +i\beta \,b \right ) \left ( \sinh \left ( x\lambda \right ) +i \right ) }}}c\sqrt {{\frac {ia\lambda \, \left ( i-\sinh \left ( \beta \,y \right ) \right ) }{ \left ( \sinh \left ( x\lambda \right ) b\beta -a\sinh \left ( \beta \,y \right ) \lambda +ia\lambda -i\beta \,b \right ) \left ( \sinh \left ( x\lambda \right ) +i \right ) }}}\EllipticF \left ( \sqrt {{\frac { \left ( -\sinh \left ( x\lambda \right ) b\beta +a\sinh \left ( \beta \,y \right ) \lambda +ia\lambda -i\beta \,b \right ) \left ( \sinh \left ( x\lambda \right ) -i \right ) }{ \left ( -\sinh \left ( x\lambda \right ) b\beta +a\sinh \left ( \beta \,y \right ) \lambda +ia\lambda +i\beta \,b \right ) \left ( \sinh \left ( x\lambda \right ) +i \right ) }}},\sqrt {-{\frac { \left ( \sinh \left ( x\lambda \right ) b\beta -a\sinh \left ( \beta \,y \right ) \lambda \right ) ^{2}+{a}^{2}{\lambda }^{2}+2\,\beta \,ba\lambda +{b}^{2}{\beta }^{2}}{ \left ( \sinh \left ( x\lambda \right ) b\beta -a\sinh \left ( \beta \,y \right ) \lambda +ia\lambda -i\beta \,b \right ) \left ( -\sinh \left ( x\lambda \right ) b\beta +a\sinh \left ( \beta \,y \right ) \lambda +ia\lambda -i\beta \,b \right ) }}} \right ) -1/2\,\lambda \, \left ( \left ( a\lambda -\beta \,b \right ) \sqrt {- \left ( \sinh \left ( \beta \,y \right ) \right ) ^{2}-1}+\sqrt { \left ( \sinh \left ( \beta \,y \right ) \right ) ^{2}+1} \left ( -\sinh \left ( x\lambda \right ) b\beta +a\sinh \left ( \beta \,y \right ) \lambda \right ) \right ) \arctan \left ( {{\rm e}^{\gamma \,z}} \right ) \sqrt { \left ( -\sinh \left ( x\lambda \right ) +i \right ) \left ( \sinh \left ( x\lambda \right ) +i \right ) \left ( i-\sinh \left ( \beta \,y \right ) \right ) \left ( i+\sinh \left ( \beta \,y \right ) \right ) }a\cosh \left ( x\lambda \right ) \right ) } \right ) \]
____________________________________________________________________________________