Die allgemeine Methode dafür :
die Aussage , die "bewiesen" werden soll, in FullSimplify einhüllen
In diesem Fall bei einer Gleichung sollte TRUE herauskommen
Assumptions und Annahmen kann man dann noch hinzufügen
MFG
Carsten Herrmann
mathemas ordinate
http://www.ordinate.de/info.htm
info@XXXXXXX.de
tel ++49 431 2374500
Am 08.02.2011 um 15:29 schrieb WOYSCH, Gunter:
Stuttgart, den 8. Februar 2011
An alle Mathematica-Kundigen !
In einem Vorlesungsskript wird eine Funktion Yq wie im angehängten
Notebook definiert.
Weiter werden zwei Formeln angegeben, die man durch Ausführung einer
Differentiation von BesselJ[q,u] nach u unter Ausnutzung der
Eigenschaften der BesselJ-Funktionen erhalten soll.
Wie kann ich den Nachweis der Richtigkeit dieser Formeln in Mma
führen?
Danke für jeden Hinweis!
Mit freundlichen Grüssen,
Gunter Woysch
<BesselJFunctions110208.nb>