MathGroup Archive 2013

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Variable transformations

  • To: mathgroup at smc.vnet.net
  • Subject: [mg131587] Re: Variable transformations
  • From: Youngjoo Chung <ychung12 at gmail.com>
  • Date: Sun, 8 Sep 2013 03:08:35 -0400 (EDT)
  • Delivered-to: l-mathgroup@mail-archive0.wolfram.com
  • Delivered-to: l-mathgroup@wolfram.com
  • Delivered-to: mathgroup-outx@smc.vnet.net
  • Delivered-to: mathgroup-newsendx@smc.vnet.net
  • References: <kt7b9o$dkf$1@smc.vnet.net>

Dear Alexei,

You can use SCTransDeriv in the SymbolicComputing package (http://symbcomp.gist.ac.kr, WTC 2011) for the variable transformation of derivatives as shown below. All functions with the prefix SC are package functions. It is still a beta version, but it might help.

The result of the variable transformation is shown in Out[236] below. Out[242] shows verification by inverse transformation. Copying the textual form of the input into Mathematica may not work since it does not faithfully reproduce the standard form of the input.

Sorry I cannot explain all the details here. Please refer to the homepage http://symbcomp.gist.ac.kr about the package.

<<SymbolicComputing`

In[235]:= SCTotalDeriv[y, {x, 4}]
SCMAF[%, SCTransDeriv, {All, TransVar -> {x, z, x == Sin[z]}},
 SCCollectDerivs, {All, y, Apply -> {PowerExpand, Simplify}},
 SCTrigToHalf, {Cos[2 z], Cos},
 SCCollectDerivs, {All, y, Apply -> {Factor, Expand}},
 SCFactor, {All, Sec[z]^4}]

Out[235]= \[DifferentialD]^4y/\[DifferentialD]x^4

During evaluation of In[235]:= Sec[z]^4 \[DifferentialD]^4y/\[DifferentialD]z^4+Sec[z]^4 (-11+15 Sec[z]^2) \[DifferentialD]^2y/\[DifferentialD]z^2+6 Sec[z]^4 Tan[z] \[DifferentialD]^3y/\[DifferentialD]z^3+3 Sec[z]^4 (-2+5 Sec[z]^2) Tan[z] \[DifferentialD]y/\[DifferentialD]z

Out[236]=
Sec[z]^4 (\[DifferentialD]^4y/\[DifferentialD]z^4 + (-11 +
      15 Sec[z]^2) \[DifferentialD]^2y/\[DifferentialD]z^2 +
   6 Tan[z] \[DifferentialD]^3y/\[DifferentialD]z^3 +
   3 (-2 + 5 Sec[z]^2) Tan[z] \[DifferentialD]y/\[DifferentialD]z)

Verification by inverse transformation:

In[241]:=
Sec[z]^4 (\[DifferentialD]^4y/\[DifferentialD]z^4 + (-11 +
       15 Sec[z]^2) \[DifferentialD]^2y/\[DifferentialD]z^2 +
    6 Tan[z] \[DifferentialD]^3y/\[DifferentialD]z^3 +
    3 (-2 + 5 Sec[z]^2) Tan[z] \[DifferentialD]y/\[DifferentialD]z);
SCMAF[%, SCTransDeriv, {All, TransVar -> {z, x, z == ArcSin[x]}},
 SCCollectDerivs -> {y, Apply -> Simplify}]

Out[242]= \[DifferentialD]^4y/\[DifferentialD]x^4

Sincerely,
Youngjoo Chung



  • Prev by Date: Re: Differencing two equations
  • Next by Date: Re: Evaluating inequalities
  • Previous by thread: Re: Differencing two equations
  • Next by thread: "Nice" complex form