help links subscribe changes refresh edit

	SandBoxDiracDelta
SandBoxExpresssionComplex ←	↑

SandBoxWirtinger

Edit detail for SandBoxWirtinger revision 21 of 21

	1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Editor: Bill Page Time: 2015/03/17 21:28:28 GMT+0
Note: refs

added:

- "An Introduction to Complex Differentials and Complex Differentiability":https://mediatum.ub.tum.de/doc/631019/631019.pdf
  by Raphael Hunger

Wirtinger Derivatives or Wirtinger Calculus (also called $\mathbb{CR}$ -Calculus)

Reference

http://en.wikipedia.org/wiki/Wirtinger_derivatives
The Complex Gradient Operator and the CR-Calculus by Ken Kreutz-Delgado
Appendix A: Wirtinger Calculus by Robert F. H. Fischer
Wirtinger derivatives, Beltrami equation & ellipse fields by Thomas Schramm
Non-analytic functions of a complex variable or alternate by E. R. Hedrick
Pseudo-Conformal Geometry of Polygenic Functions of Several Complex Variables by Edward Kasner and John De Cicco
A Complete Characterization of the Derivative of a Polygenic Function by Edward Kasner
Polygenic Functions Of Hypercomplex Variables by P.W.Ketchum and Ted Martin
An Introduction to Complex Differentials and Complex Differentiability by Raphael Hunger

fricas

(1) -> )lib FSPECX

   FunctionalSpecialFunction is now explicitly exposed in frame initial

   FunctionalSpecialFunction will be automatically loaded when needed 
      from /var/aw/var/LatexWiki/FSPECX.NRLIB/FSPECX

fricas

diff(ex,z) == eval(D(eval(ex,[z],[%conjugate]),%conjugate),[%conjugate],[z])

Type: Void

Tests

fricas

test(diff(z,z)=1)

fricas

Compiling function diff with type (Variable(z), Variable(z)) -> 
      Polynomial(Integer)

$\label{eq1} \mbox{\rm true}$

(1)

Type: Boolean

fricas

test(diff(conjugate z,conjugate z)=1)

   >> System error:
   #<SB-SYS:FD-STREAM for "file /var/aw/var/LatexWiki/FSPECX.NRLIB/FSPECX.fasl" {100265C7A3}>
is a fasl file compiled with SBCL 1.1.1, and can't be loaded into SBCL
2.2.9.debian.

Non-holomorphic functions

fricas

real(x) == (x+conjugate(x))/2

Type: Void

fricas

test(real real x = real x)

fricas

Compiling function real with type Variable(x) -> Expression(Integer)

   >> System error:
   #<SB-SYS:FD-STREAM for "file /var/aw/var/LatexWiki/FSPECX.NRLIB/FSPECX.fasl" {100283DBD3}>
is a fasl file compiled with SBCL 1.1.1, and can't be loaded into SBCL
2.2.9.debian.

Functions are assumed holomorphic

fricas

f:=operator 'f

$\label{eq2}f$

(2)

Type: BasicOperator?

fricas

diff(c*f(x),x)

fricas

Compiling function diff with type (Expression(Integer), Variable(x))
       -> Expression(Integer)

$\label{eq3}c \ {{f^{\prime}}\left({x}\right)}$

(3)

Type: Expression(Integer)

fricas

diff(c*f(x),conjugate x)

   >> System error:
   #<SB-SYS:FD-STREAM for "file /var/aw/var/LatexWiki/FSPECX.NRLIB/FSPECX.fasl" {1002CA70E3}>
is a fasl file compiled with SBCL 1.1.1, and can't be loaded into SBCL
2.2.9.debian.

Examples

fricas

t1:=real(z)^2+%i*imag(z)^3

fricas

Compiling function real with type Variable(z) -> Expression(Integer)

   >> System error:
   #<SB-SYS:FD-STREAM for "file /var/aw/var/LatexWiki/FSPECX.NRLIB/FSPECX.fasl" {1002D881F3}>
is a fasl file compiled with SBCL 1.1.1, and can't be loaded into SBCL
2.2.9.debian.