help links subscribe changes refresh edit

	SandBox
SandboxTypeDefinitions ←	↑	→ StructuredTables

Solving Differential Equations

Edit detail for Solving Differential Equations revision 1 of 1

	1
Editor: jv1 Time: 2008/05/09 04:50:13 GMT-7
Note:

changed:
-
Test 1: solve a simple nonlinear homogeneous differential equation

\begin{axiom}
y := operator y
deq1 := D(y(x),x) = 9 - y(x)^2
solve(deq1,y,x)
\end{axiom}

Test 2: solve a class of simple nonlinear homogeneous differential equations

\begin{axiom}
deq2a := D(y(x),x) = c - p*y(x)^2
xpr2b := solve(deq2a,y,x)
simplify(x-xpr2b)
\end{axiom}

Test 3: find general solutions for nonlinear homogeneous differential equations

\begin{axiom}
f := operator f
deq3 := D(y(x),x) = f(y(x))
solve(deq3,y,x)
\end{axiom}

Test 4: integration

\begin{axiom}
integrate(1/(1-x^2),x)
\end{axiom}

Test 5: check result

\begin{axiom}
xpr5 := (log(x+1)-log(x-1))/2
D(xpr5,x)
\end{axiom}

Test 6: check simplification

\begin{axiom}
xpr6 := log(1+2/(x-1))/2
D(xpr6,x)
\end{axiom}

Test 7: Express y(x) as function of x (replacing y(x) with z)

\begin{axiom}
eq7a := x = (log(z+1)-log(z-1))/2
solve(eq7a,z)
xpr7b := (1+exp(-2*z))/(1-exp(-2*z))
simplify(xpr7b)
\end{axiom}

Test 8: check simplified result

\begin{axiom}
xpr8 := (1+exp(-2*x))/(1-exp(-2*x)) - (1+2/(exp(2*x)-1))
simplify(xpr8)
\end{axiom}

Test 9: check result by substitution in the DEQ

\begin{axiom}
xpr9a := (1+2/(exp(2*x)-1))
xpr9b := D(xpr9a,x)
xpr9c := 1 - (xpr9a)^2
\end{axiom}

Test 10: finding the explicit solution for the deq in test 2

\begin{axiom}
wcp := sqrt(c*p)
xpr10a := log(((p*z^2+c)*wcp-2*c*p*z)/(p*z^2-c))/(2*wcp)
solve(x = xpr10a,z)
eq10c := (p*z^2+c)*wcp-2*c*p*z
solve(eq10c=0,z)
xpr10d := p*wcp*(z-wcp/p)^2
simplify(xpr10d/eq10c)
xpr10e := (wcp/p)*(2/(1-exp(-2*wcp*x)/wcp)-1)
xpr10f := D(xpr10e,x)
xpr10g := c - p*(xpr10e)^2
simplify(xpr10f / xpr10g)
\end{axiom}

Test 11: non-homogeneous generalization: c as linear function of x

\begin{axiom}
deq11a := D(y(x),x) = a*x + b - p*y(x)^2
solve(deq11a,y,x)
\end{axiom}

Test 12: non-homogeneous generalization: c as arbitrary function of x

\begin{axiom}
c := operator c
deq12a := D(y(x),x) = c(x) - p*y(x)^2
solve(deq12a,y,x)
\end{axiom}

Test 13: guessing solution for deq12a

\begin{axiom}
wpcx := sqrt(c(x))*sqrt(p)
xpr13a := log((p*wpcx*(z-wpcx/p)^2)/(p*z^2-c(x)))/(2*wpcx)
xpr13b := (wpcx/p)*(2/(1-exp(-2*wpcx*x)/wpcx)-1)
xpr13c := D(xpr13b,x)
xpr13d := c(x) - p*(xpr13b)^2
simplify(xpr13d / xpr13c)
xpr13e := simplify(D((2/(1-exp(-2*wpcx*x)/wpcx)-1),x))
xpr13f := (wpcx-exp(-2*wpcx*x))^2
xpr13g := simplify(((2*p*c(x)*x+wpcx)*D(c(x),x)+4*p*c(x)^2)/wpcx)
xpr13h := simplify((1+2*wpcx*x)*D(c(x),x)+4*wpcx*c(x))
simplify(xpr13h/xpr13g)
xpr13i := simplify((1/(wpcx-z)-1/(2*wpcx))*D(c(x),x) + ((1+2*wpcx*x)*D(c(x),x)+4*wpcx*c(x))*z/(wpcx-z)^2)
w := operator w
z := operator z
simplify(D((2/(1-z(x)/w(x))-1)*c(x)/w(x),x))
simplify((2*c(x)*w(x)^2*D(z(x),x)+(z(x)^2-2*w(x)*z(x)-w(x)^2)*c(x)*D(w(x),x)+(w(x)^3-w(x)*z(x)^2)*D(c(x),x))/(w(x)^2*(z(x)-w(x))^2))
xpr13j := simplify((2*c(x)*w(x)^2*w(x)*z(x)*(x/c(x)-1/2)+(z(x)^2-2*w(x)*z(x)-w(x)^2)*c(x)*(-w(x)/(2*c(x)))+(w(x)^3-w(x)*z(x)^2)*D(c(x),x))/(w(x)^2*(z(x)-w(x))^2))
xpr13k := simplify((1/(w(x)-z(x))-1/(2*w(x)))*D(c(x),x) + ((1+2*w(x)*x)*D(c(x),x) + 4*w(x)*c(x))*z(x)/(w(x)-z(x))^2)
simplify(xpr13k/xpr13j)
simplify(xpr13k-xpr13j)
\end{axiom}

Test 1: solve a simple nonlinear homogeneous differential equation

fricas

(1) -> y := operator y

$\label{eq1}y$

(1)

Type: BasicOperator?

fricas

deq1 := D(y(x),x) = 9 - y(x)^2

$\label{eq2}{{y^{\prime}}\left({x}\right)}={-{{y \left({x}\right)}^{2}}+ 9}$

(2)

Type: Equation(Expression(Integer))

fricas

solve(deq1,y,x)

$\label{eq3}\frac{-{\log \left({{y \left({x}\right)}+ 3}\right)}+{\log \left({{y \left({x}\right)}- 3}\right)}+{6 \ x}}{6}$

(3)

Type: Union(Expression(Integer),...)

Test 2: solve a class of simple nonlinear homogeneous differential equations

fricas

deq2a := D(y(x),x) = c - p*y(x)^2

$\label{eq4}{{y^{\prime}}\left({x}\right)}={-{p \ {{y \left({x}\right)}^{2}}}+ c}$

(4)

Type: Equation(Expression(Integer))

fricas

xpr2b := solve(deq2a,y,x)

$\label{eq5}\frac{{\log \left({\frac{{{\left({p \ {{y \left({x}\right)}^{2}}}+ c \right)}\ {\sqrt{c \ p}}}-{2 \ c \ p \ {y \left({x}\right)}}}{{p \ {{y \left({x}\right)}^{2}}}- c}}\right)}+{2 \ x \ {\sqrt{c \ p}}}}{2 \ {\sqrt{c \ p}}}$

(5)

Type: Union(Expression(Integer),...)

fricas

simplify(x-xpr2b)

$\label{eq6}\begin{array}{@{}l} \displaystyle - \ \ \displaystyle {\frac{\log \left({\frac{{{\left({p \ {{y \left({x}\right)}^{2}}}+ c \right)}\ {\sqrt{c \ p}}}-{2 \ c \ p \ {y \left({x}\right)}}}{{p \ {{y \left({x}\right)}^{2}}}- c}}\right)}{2 \ {\sqrt{c \ p}}}}$

(6)

Type: Expression(Integer)

Test 3: find general solutions for nonlinear homogeneous differential equations

fricas

f := operator f

$\label{eq7}f$

(7)

Type: BasicOperator?

fricas

deq3 := D(y(x),x) = f(y(x))

$\label{eq8}{{y^{\prime}}\left({x}\right)}={f \left({y \left({x}\right)}\right)}$

(8)

Type: Equation(Expression(Integer))

fricas

solve(deq3,y,x)

$\label{eq9}{\int^{ \displaystyle {y \left({x}\right)}}{{\frac{1}{f \left({\%D}\right)}}\ {d \%D}}}- x$

(9)

Type: Union(Expression(Integer),...)

Test 4: integration

fricas

integrate(1/(1-x^2),x)

$\label{eq10}\frac{{\log \left({x + 1}\right)}-{\log \left({x - 1}\right)}}{2}$

(10)

Type: Union(Expression(Integer),...)

Test 5: check result

fricas

xpr5 := (log(x+1)-log(x-1))/2

$\label{eq11}\frac{{\log \left({x + 1}\right)}-{\log \left({x - 1}\right)}}{2}$

(11)

Type: Expression(Integer)

fricas

D(xpr5,x)

$\label{eq12}-{\frac{1}{{{x}^{2}}- 1}}$

(12)

Type: Expression(Integer)

Test 6: check simplification

fricas

xpr6 := log(1+2/(x-1))/2

$\label{eq13}\frac{\log \left({\frac{x + 1}{x - 1}}\right)}{2}$

(13)

Type: Expression(Integer)

fricas

D(xpr6,x)

$\label{eq14}-{\frac{1}{{{x}^{2}}- 1}}$

(14)

Type: Expression(Integer)

Test 7: Express y(x) as function of x (replacing y(x) with z)

fricas

eq7a := x = (log(z+1)-log(z-1))/2

$\label{eq15}x ={\frac{{\log \left({z + 1}\right)}-{\log \left({z - 1}\right)}}{2}}$

(15)

Type: Equation(Expression(Integer))

fricas

solve(eq7a,z)

$\label{eq16}\left[{z ={\frac{-{{e}^{-{2 \ x}}}- 1}{{{e}^{-{2 \ x}}}- 1}}}\right]$

(16)

Type: List(Equation(Expression(Integer)))

fricas

xpr7b := (1+exp(-2*z))/(1-exp(-2*z))

$\label{eq17}\frac{-{{e}^{-{2 \ z}}}- 1}{{{e}^{-{2 \ z}}}- 1}$

(17)

Type: Expression(Integer)

fricas

simplify(xpr7b)

$\label{eq18}\frac{-{{e}^{-{2 \ z}}}- 1}{{{e}^{-{2 \ z}}}- 1}$

(18)

Type: Expression(Integer)

Test 8: check simplified result

fricas

xpr8 := (1+exp(-2*x))/(1-exp(-2*x)) - (1+2/(exp(2*x)-1))

$\label{eq19}\frac{-{2 \ {{e}^{-{2 \ x}}}\ {{e}^{2 \ x}}}+ 2}{{{\left({{e}^{-{2 \ x}}}- 1 \right)}\ {{e}^{2 \ x}}}-{{e}^{-{2 \ x}}}+ 1}$

(19)

Type: Expression(Integer)

fricas

simplify(xpr8)

$\label{eq20}0$

(20)

Type: Expression(Integer)

Test 9: check result by substitution in the DEQ

fricas

xpr9a := (1+2/(exp(2*x)-1))

$\label{eq21}\frac{{{e}^{2 \ x}}+ 1}{{{e}^{2 \ x}}- 1}$

(21)

Type: Expression(Integer)

fricas

xpr9b := D(xpr9a,x)

$\label{eq22}-{\frac{4 \ {{e}^{2 \ x}}}{{{{e}^{2 \ x}}^{2}}-{2 \ {{e}^{2 \ x}}}+ 1}}$

(22)

Type: Expression(Integer)

fricas

xpr9c := 1 - (xpr9a)^2

$\label{eq23}-{\frac{4 \ {{e}^{2 \ x}}}{{{{e}^{2 \ x}}^{2}}-{2 \ {{e}^{2 \ x}}}+ 1}}$

(23)

Type: Expression(Integer)

Test 10: finding the explicit solution for the deq in test 2

fricas

wcp := sqrt(c*p)

$\label{eq24}\sqrt{c \ p}$

(24)

Type: Expression(Integer)

fricas

xpr10a := log(((p*z^2+c)*wcp-2*c*p*z)/(p*z^2-c))/(2*wcp)

$\label{eq25}\frac{\log \left({\frac{{{\left({p \ {{z}^{2}}}+ c \right)}\ {\sqrt{c \ p}}}-{2 \ c \ p \ z}}{{p \ {{z}^{2}}}- c}}\right)}{2 \ {\sqrt{c \ p}}}$

(25)

Type: Expression(Integer)

fricas

solve(x = xpr10a,z)

$\label{eq26}\begin{array}{@{}l} \displaystyle \left[{ \begin{array}{@{}l} \displaystyle z = \ \ \displaystyle {\frac{-{{\sqrt{c \ p}}\ {{{e}^{2 \ x \ {\sqrt{c \ p}}}}^{2}}}-{2 \ c \ p \ {{e}^{2 \ x \ {\sqrt{c \ p}}}}}-{c \ p \ {\sqrt{c \ p}}}}{{p \ {{{e}^{2 \ x \ {\sqrt{c \ p}}}}^{2}}}-{c \ {{p}^{2}}}}}$

(26)

Type: List(Equation(Expression(Integer)))

fricas

eq10c := (p*z^2+c)*wcp-2*c*p*z

$\label{eq27}{{\left({p \ {{z}^{2}}}+ c \right)}\ {\sqrt{c \ p}}}-{2 \ c \ p \ z}$

(27)

Type: Expression(Integer)

fricas

solve(eq10c=0,z)

$\label{eq28}\left[{z ={\frac{\sqrt{c \ p}}{p}}}\right]$

(28)

Type: List(Equation(Expression(Integer)))

fricas

xpr10d := p*wcp*(z-wcp/p)^2

$\label{eq29}{{\left({p \ {{z}^{2}}}+ c \right)}\ {\sqrt{c \ p}}}-{2 \ c \ p \ z}$

(29)

Type: Expression(Integer)

fricas

simplify(xpr10d/eq10c)

$\label{eq30}1$

(30)

Type: Expression(Integer)

fricas

xpr10e := (wcp/p)*(2/(1-exp(-2*wcp*x)/wcp)-1)

$\label{eq31}\frac{-{{\sqrt{c \ p}}\ {{e}^{-{2 \ x \ {\sqrt{c \ p}}}}}}-{c \ p}}{{p \ {{e}^{-{2 \ x \ {\sqrt{c \ p}}}}}}-{p \ {\sqrt{c \ p}}}}$

(31)

Type: Expression(Integer)

fricas

xpr10f := D(xpr10e,x)

$\label{eq32}\begin{array}{@{}l} \displaystyle - \ \ \displaystyle {\frac{4 \ c \ {\sqrt{c \ p}}\ {{e}^{-{2 \ x \ {\sqrt{c \ p}}}}}}{{{{e}^{-{2 \ x \ {\sqrt{c \ p}}}}}^{2}}-{2 \ {\sqrt{c \ p}}\ {{e}^{-{2 \ x \ {\sqrt{c \ p}}}}}}+{c \ p}}}$

(32)

Type: Expression(Integer)

fricas

xpr10g := c - p*(xpr10e)^2

$\label{eq33}\begin{array}{@{}l} \displaystyle - \ \ \displaystyle {\frac{4 \ c \ {\sqrt{c \ p}}\ {{e}^{-{2 \ x \ {\sqrt{c \ p}}}}}}{{{{e}^{-{2 \ x \ {\sqrt{c \ p}}}}}^{2}}-{2 \ {\sqrt{c \ p}}\ {{e}^{-{2 \ x \ {\sqrt{c \ p}}}}}}+{c \ p}}}$

(33)

Type: Expression(Integer)

fricas

simplify(xpr10f / xpr10g)

$\label{eq34}1$

(34)

Type: Expression(Integer)

Test 11: non-homogeneous generalization: c as linear function of x

fricas

deq11a := D(y(x),x) = a*x + b - p*y(x)^2

$\label{eq35}{{y^{\prime}}\left({x}\right)}={-{p \ {{y \left({x}\right)}^{2}}}+{a \ x}+ b}$

(35)

Type: Equation(Expression(Integer))

fricas

solve(deq11a,y,x)

$\label{eq36}\verb#"failed"#$

(36)

Type: Union("failed",...)

Test 12: non-homogeneous generalization: c as arbitrary function of x

fricas

c := operator c

$\label{eq37}c$

(37)

Type: BasicOperator?

fricas

deq12a := D(y(x),x) = c(x) - p*y(x)^2

$\label{eq38}{{y^{\prime}}\left({x}\right)}={-{p \ {{y \left({x}\right)}^{2}}}+{c \left({x}\right)}}$

(38)

Type: Equation(Expression(Integer))

fricas

solve(deq12a,y,x)

$\label{eq39}\verb#"failed"#$

(39)

Type: Union("failed",...)

Test 13: guessing solution for deq12a

fricas

wpcx := sqrt(c(x))*sqrt(p)

$\label{eq40}{\sqrt{p}}\ {\sqrt{c \left({x}\right)}}$

(40)

Type: Expression(Integer)

fricas

xpr13a := log((p*wpcx*(z-wpcx/p)^2)/(p*z^2-c(x)))/(2*wpcx)

$\label{eq41}\frac{\log \left({\frac{{{\left(-{c \left({x}\right)}-{p \ {{z}^{2}}}\right)}\ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}+{2 \ p \ z \ {c \left({x}\right)}}}{{c \left({x}\right)}-{p \ {{z}^{2}}}}}\right)}{2 \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}$

(41)

Type: Expression(Integer)

fricas

xpr13b := (wpcx/p)*(2/(1-exp(-2*wpcx*x)/wpcx)-1)

$\label{eq42}\frac{-{{\sqrt{p}}\ {\sqrt{c \left({x}\right)}}\ {{e}^{-{2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}-{p \ {c \left({x}\right)}}}{{p \ {{e}^{-{2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}-{p \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}$

(42)

Type: Expression(Integer)

fricas

xpr13c := D(xpr13b,x)

$\label{eq43}\frac{-{{\sqrt{p}}\ {{c^{\prime}}\left({x}\right)}\ {{{e}^{-{2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}^{2}}}+{{\left({{\left(-{2 \ p \ {\sqrt{c \left({x}\right)}}}-{4 \ p \ x \ {c \left({x}\right)}\ {\sqrt{p}}}\right)}\ {{c^{\prime}}\left({x}\right)}}-{8 \ p \ {{c \left({x}\right)}^{2}}\ {\sqrt{p}}}\right)}\ {{e}^{-{2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}+{p \ {c \left({x}\right)}\ {\sqrt{p}}\ {{c^{\prime}}\left({x}\right)}}}{{2 \ p \ {\sqrt{c \left({x}\right)}}\ {{{e}^{-{2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}^{2}}}-{4 \ p \ {c \left({x}\right)}\ {\sqrt{p}}\ {{e}^{-{2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}+{2 \ {{p}^{2}}\ {c \left({x}\right)}\ {\sqrt{c \left({x}\right)}}}}$

(43)

Type: Expression(Integer)

fricas

xpr13d := c(x) - p*(xpr13b)^2

$\label{eq44}\begin{array}{@{}l} \displaystyle - \ \ \displaystyle {\frac{4 \ {c \left({x}\right)}\ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}\ {{e}^{-{2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}{{{{e}^{-{2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}^{2}}-{2 \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}\ {{e}^{-{2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}+{p \ {c \left({x}\right)}}}}$

(44)

Type: Expression(Integer)

fricas

simplify(xpr13d / xpr13c)

$\label{eq45}\frac{{8 \ {{p}^{2}}\ {{c \left({x}\right)}^{3}}\ {\sqrt{p}}\ {{e}^{-{2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}-{{16}\ {{p}^{2}}\ {{c \left({x}\right)}^{2}}\ {\sqrt{c \left({x}\right)}}\ {{e}^{-{4 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}+{8 \ p \ {{c \left({x}\right)}^{2}}\ {\sqrt{p}}\ {{e}^{-{6 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}}{{{\left({{\left({4 \ {{p}^{2}}\ {c \left({x}\right)}\ {\sqrt{c \left({x}\right)}}}+{4 \ {{p}^{2}}\ x \ {{c \left({x}\right)}^{2}}\ {\sqrt{p}}}\right)}\ {{c^{\prime}}\left({x}\right)}}+{8 \ {{p}^{2}}\ {{c \left({x}\right)}^{3}}\ {\sqrt{p}}}\right)}\ {{e}^{-{2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}+{{\left({{\left(-{8 \ {{p}^{2}}\ x \ {c \left({x}\right)}\ {\sqrt{c \left({x}\right)}}}-{4 \ p \ {c \left({x}\right)}\ {\sqrt{p}}}\right)}\ {{c^{\prime}}\left({x}\right)}}-{{16}\ {{p}^{2}}\ {{c \left({x}\right)}^{2}}\ {\sqrt{c \left({x}\right)}}}\right)}\ {{e}^{-{4 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}+{{\left({4 \ p \ x \ {c \left({x}\right)}\ {\sqrt{p}}\ {{c^{\prime}}\left({x}\right)}}+{8 \ p \ {{c \left({x}\right)}^{2}}\ {\sqrt{p}}}\right)}\ {{e}^{-{6 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}+{{\sqrt{p}}\ {{c^{\prime}}\left({x}\right)}\ {{e}^{-{8 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}-{{{p}^{2}}\ {{c \left({x}\right)}^{2}}\ {\sqrt{p}}\ {{c^{\prime}}\left({x}\right)}}}$

(45)

Type: Expression(Integer)

fricas

xpr13e := simplify(D((2/(1-exp(-2*wpcx*x)/wpcx)-1),x))

$\label{eq46}\frac{{\left({{\left({2 \ p \ x \ {\sqrt{c \left({x}\right)}}}+{\sqrt{p}}\right)}\ {{c^{\prime}}\left({x}\right)}}+{4 \ p \ {c \left({x}\right)}\ {\sqrt{c \left({x}\right)}}}\right)}\ {{e}^{-{2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}{{2 \ {c \left({x}\right)}\ {\sqrt{p}}\ {{e}^{-{2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}-{{\sqrt{c \left({x}\right)}}\ {{e}^{-{4 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}-{p \ {c \left({x}\right)}\ {\sqrt{c \left({x}\right)}}}}$

(46)

Type: Expression(Integer)

fricas

xpr13f := (wpcx-exp(-2*wpcx*x))^2

$\label{eq47}{{{e}^{-{2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}^{2}}-{2 \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}\ {{e}^{-{2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}}}}+{p \ {c \left({x}\right)}}$

(47)

Type: Expression(Integer)

fricas

xpr13g := simplify(((2*p*c(x)*x+wpcx)*D(c(x),x)+4*p*c(x)^2)/wpcx)

$\label{eq48}\frac{{{\left({{\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}+{2 \ p \ x \ {c \left({x}\right)}}\right)}\ {{c^{\prime}}\left({x}\right)}}+{4 \ p \ {{c \left({x}\right)}^{2}}}}{{\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}$

(48)

Type: Expression(Integer)

fricas

xpr13h := simplify((1+2*wpcx*x)*D(c(x),x)+4*wpcx*c(x))

$\label{eq49}{{\left({2 \ x \ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}+ 1 \right)}\ {{c^{\prime}}\left({x}\right)}}+{4 \ {c \left({x}\right)}\ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}$

(49)

Type: Expression(Integer)

fricas

simplify(xpr13h/xpr13g)

$\label{eq50}1$

(50)

Type: Expression(Integer)

fricas

xpr13i := simplify((1/(wpcx-z)-1/(2*wpcx))*D(c(x),x) + ((1+2*wpcx*x)*D(c(x),x)+4*wpcx*c(x))*z/(wpcx-z)^2)

$\label{eq51}\frac{{{\left({{\left({{\left(-{4 \ p \ x \ z}- p \right)}\ {c \left({x}\right)}}+{3 \ {{z}^{2}}}\right)}\ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}+{{\left({4 \ p \ x \ {{z}^{2}}}-{p \ z}\right)}\ {c \left({x}\right)}}-{{z}^{3}}\right)}\ {{c^{\prime}}\left({x}\right)}}-{8 \ p \ z \ {{c \left({x}\right)}^{2}}\ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}+{8 \ p \ {{z}^{2}}\ {{c \left({x}\right)}^{2}}}}{{{\left({6 \ p \ z \ {c \left({x}\right)}}+{2 \ {{z}^{3}}}\right)}\ {\sqrt{p}}\ {\sqrt{c \left({x}\right)}}}-{2 \ {{p}^{2}}\ {{c \left({x}\right)}^{2}}}-{6 \ p \ {{z}^{2}}\ {c \left({x}\right)}}}$

(51)

Type: Expression(Integer)

fricas

w := operator w

$\label{eq52}w$

(52)

Type: BasicOperator?

fricas

z := operator z

$\label{eq53}z$

(53)

Type: BasicOperator?

fricas

simplify(D((2/(1-z(x)/w(x))-1)*c(x)/w(x),x))

$\label{eq54}\frac{{2 \ {c \left({x}\right)}\ {{w \left({x}\right)}^{2}}\ {{z^{\prime}}\left({x}\right)}}+{{\left({{c \left({x}\right)}\ {{z \left({x}\right)}^{2}}}-{2 \ {c \left({x}\right)}\ {w \left({x}\right)}\ {z \left({x}\right)}}-{{c \left({x}\right)}\ {{w \left({x}\right)}^{2}}}\right)}\ {{w^{\prime}}\left({x}\right)}}+{{\left(-{{w \left({x}\right)}\ {{z \left({x}\right)}^{2}}}+{{w \left({x}\right)}^{3}}\right)}\ {{c^{\prime}}\left({x}\right)}}}{{{{w \left({x}\right)}^{2}}\ {{z \left({x}\right)}^{2}}}-{2 \ {{w \left({x}\right)}^{3}}\ {z \left({x}\right)}}+{{w \left({x}\right)}^{4}}}$

(54)

Type: Expression(Integer)

fricas

simplify((2*c(x)*w(x)^2*D(z(x),x)+(z(x)^2-2*w(x)*z(x)-w(x)^2)*c(x)*D(w(x),x)+(w(x)^3-w(x)*z(x)^2)*D(c(x),x))/(w(x)^2*(z(x)-w(x))^2))

$\label{eq55}\frac{{2 \ {c \left({x}\right)}\ {{w \left({x}\right)}^{2}}\ {{z^{\prime}}\left({x}\right)}}+{{\left({{c \left({x}\right)}\ {{z \left({x}\right)}^{2}}}-{2 \ {c \left({x}\right)}\ {w \left({x}\right)}\ {z \left({x}\right)}}-{{c \left({x}\right)}\ {{w \left({x}\right)}^{2}}}\right)}\ {{w^{\prime}}\left({x}\right)}}+{{\left(-{{w \left({x}\right)}\ {{z \left({x}\right)}^{2}}}+{{w \left({x}\right)}^{3}}\right)}\ {{c^{\prime}}\left({x}\right)}}}{{{{w \left({x}\right)}^{2}}\ {{z \left({x}\right)}^{2}}}-{2 \ {{w \left({x}\right)}^{3}}\ {z \left({x}\right)}}+{{w \left({x}\right)}^{4}}}$

(55)

Type: Expression(Integer)

fricas

xpr13j := simplify((2*c(x)*w(x)^2*w(x)*z(x)*(x/c(x)-1/2)+(z(x)^2-2*w(x)*z(x)-w(x)^2)*c(x)*(-w(x)/(2*c(x)))+(w(x)^3-w(x)*z(x)^2)*D(c(x),x))/(w(x)^2*(z(x)-w(x))^2))

$\label{eq56}\frac{{{\left(-{2 \ {{z \left({x}\right)}^{2}}}+{2 \ {{w \left({x}\right)}^{2}}}\right)}\ {{c^{\prime}}\left({x}\right)}}-{{z \left({x}\right)}^{2}}+{{\left({{\left(-{2 \ {c \left({x}\right)}}+{4 \ x}\right)}\ {{w \left({x}\right)}^{2}}}+{2 \ {w \left({x}\right)}}\right)}\ {z \left({x}\right)}}+{{w \left({x}\right)}^{2}}}{{2 \ {w \left({x}\right)}\ {{z \left({x}\right)}^{2}}}-{4 \ {{w \left({x}\right)}^{2}}\ {z \left({x}\right)}}+{2 \ {{w \left({x}\right)}^{3}}}}$

(56)

Type: Expression(Integer)

fricas

xpr13k := simplify((1/(w(x)-z(x))-1/(2*w(x)))*D(c(x),x) + ((1+2*w(x)*x)*D(c(x),x) + 4*w(x)*c(x))*z(x)/(w(x)-z(x))^2)

$\label{eq57}\frac{{{\left(-{{z \left({x}\right)}^{2}}+{{\left({4 \ x \ {{w \left({x}\right)}^{2}}}+{2 \ {w \left({x}\right)}}\right)}\ {z \left({x}\right)}}+{{w \left({x}\right)}^{2}}\right)}\ {{c^{\prime}}\left({x}\right)}}+{8 \ {c \left({x}\right)}\ {{w \left({x}\right)}^{2}}\ {z \left({x}\right)}}}{{2 \ {w \left({x}\right)}\ {{z \left({x}\right)}^{2}}}-{4 \ {{w \left({x}\right)}^{2}}\ {z \left({x}\right)}}+{2 \ {{w \left({x}\right)}^{3}}}}$

(57)

Type: Expression(Integer)

fricas

simplify(xpr13k/xpr13j)

$\label{eq58}\frac{{{\left({{z \left({x}\right)}^{2}}+{{\left(-{4 \ x \ {{w \left({x}\right)}^{2}}}-{2 \ {w \left({x}\right)}}\right)}\ {z \left({x}\right)}}-{{w \left({x}\right)}^{2}}\right)}\ {{c^{\prime}}\left({x}\right)}}-{8 \ {c \left({x}\right)}\ {{w \left({x}\right)}^{2}}\ {z \left({x}\right)}}}{{{\left({2 \ {{z \left({x}\right)}^{2}}}-{2 \ {{w \left({x}\right)}^{2}}}\right)}\ {{c^{\prime}}\left({x}\right)}}+{{z \left({x}\right)}^{2}}+{{\left({{\left({2 \ {c \left({x}\right)}}-{4 \ x}\right)}\ {{w \left({x}\right)}^{2}}}-{2 \ {w \left({x}\right)}}\right)}\ {z \left({x}\right)}}-{{w \left({x}\right)}^{2}}}$

(58)

Type: Expression(Integer)

fricas

simplify(xpr13k-xpr13j)

$\label{eq59}\frac{{{\left({{z \left({x}\right)}^{2}}+{{\left({4 \ x \ {{w \left({x}\right)}^{2}}}+{2 \ {w \left({x}\right)}}\right)}\ {z \left({x}\right)}}-{{w \left({x}\right)}^{2}}\right)}\ {{c^{\prime}}\left({x}\right)}}+{{z \left({x}\right)}^{2}}+{{\left({{\left({{10}\ {c \left({x}\right)}}-{4 \ x}\right)}\ {{w \left({x}\right)}^{2}}}-{2 \ {w \left({x}\right)}}\right)}\ {z \left({x}\right)}}-{{w \left({x}\right)}^{2}}}{{2 \ {w \left({x}\right)}\ {{z \left({x}\right)}^{2}}}-{4 \ {{w \left({x}\right)}^{2}}\ {z \left({x}\right)}}+{2 \ {{w \left({x}\right)}^{3}}}}$

(59)

Type: Expression(Integer)