MathGroup Archive 2011

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

Search the Archive

FullSimplify successive transforms

  • To: mathgroup at smc.vnet.net
  • Subject: [mg117491] FullSimplify successive transforms
  • From: Arturas.Acus at tfai.vu.lt
  • Date: Sun, 20 Mar 2011 04:55:00 -0500 (EST)

Dear Group,

How to extract successful transformations of FullSimplify?


In particulary I am interesting what rules were used to transform  
BesselI[ ] functions into BesselJ/BesselK in the example below. Of  
course, learning the general method to detect sequence of these  
transforms would be of great value.


all\[Psi]MathematicaSimplified={(2 k1 Sqrt[2/\[Pi]] \[Kappa]2  
BesselJ[n,k1 \[Rho]] BesselK[n,a \[Kappa]2] Sin[n \[Pi]])/(\[Sqrt](2 a  
k1^2 \[Pi] \[Kappa]2 BesselI[n,a \[Kappa]2] (n (BesselI[1-n,a  
\[Kappa]2]+BesselI[-1+n,a \[Kappa]2]) BesselJ[n,a k1]^2+a \[Kappa]2  
BesselI[-n,a \[Kappa]2] BesselJ[-1+n,a k1] BesselJ[1+n,a k1])+\[Pi]  
BesselI[n,a \[Kappa]2]^2 (2 a k1 n \[Kappa]2^2 BesselJ[-1+n,a k1]  
BesselJ[n,a k1]-4 n^2 (k1^2+\[Kappa]2^2) BesselJ[n,a k1]^2+a^2 k1^2  
\[Kappa]2^2 BesselJ[1+n,a k1]^2)+a k1^2 \[Kappa]2 (a \[Pi] \[Kappa]2  
((BesselI[1-n,a \[Kappa]2]^2-2 BesselI[1-n,a \[Kappa]2] BesselI[-1+n,a  
\[Kappa]2]+BesselI[1+n,a \[Kappa]2]^2) BesselJ[n,a k1]^2-BesselI[-n,a  
\[Kappa]2]^2 BesselJ[-1+n,a k1] BesselJ[1+n,a k1])+4 n BesselI[-n,a  
\[Kappa]2] BesselJ[n,a k1]^2 BesselK[-1+n,a \[Kappa]2] Sin[n  
\[Pi]]))),(2 k1 Sqrt[2/\[Pi]] \[Kappa]2 BesselJ[n,a k1]  
BesselK[n,\[Kappa]2 \[Rho]] Sin[n \[Pi]])/(\[Sqrt](2 a k1^2 \[Pi]  
\[Kappa]2 BesselI[n,a \[Kappa]2] (n (BesselI[1-n,a  
\[Kappa]2]+BesselI[-1+n,a \[Kappa]2]) BesselJ[n,a k1]^2+a \[Kappa]2  
BesselI[-n,a \[Kappa]2] BesselJ[-1+n,a k1] BesselJ[1+n,a k1])+\[Pi]  
BesselI[n,a \[Kappa]2]^2 (2 a k1 n \[Kappa]2^2 BesselJ[-1+n,a k1]  
BesselJ[n,a k1]-4 n^2 (k1^2+\[Kappa]2^2) BesselJ[n,a k1]^2+a^2 k1^2  
\[Kappa]2^2 BesselJ[1+n,a k1]^2)+a k1^2 \[Kappa]2 (a \[Pi] \[Kappa]2  
((BesselI[1-n,a \[Kappa]2]^2-2 BesselI[1-n,a \[Kappa]2] BesselI[-1+n,a  
\[Kappa]2]+BesselI[1+n,a \[Kappa]2]^2) BesselJ[n,a k1]^2-BesselI[-n,a  
\[Kappa]2]^2 BesselJ[-1+n,a k1] BesselJ[1+n,a k1])+4 n BesselI[-n,a  
\[Kappa]2] BesselJ[n,a k1]^2 BesselK[-1+n,a \[Kappa]2] Sin[n \[Pi]])))}



all\[Psi]MathematicaSimplifiedNoHyper=Assuming[a>0&&\[Kappa]2>0&&k1>0&&n>0,FullSimplify[all\[Psi]MathematicaSimplified,ComplexityFunction->(10000*Count[#,_BesselI|_Hypergeometric0F1Regularized|_Hypergeometric0F1,{0,Infinity}]+LeafCount[#]&)]]


Sincerely, Arturas Acus




  • Prev by Date: PopupWindow vs EventHandler
  • Next by Date: Re: Wolfram, meet Stefan and Boltzmann
  • Previous by thread: Re: PopupWindow vs EventHandler
  • Next by thread: Re: Chop in Mathematica 8.0.1