Ask Your Question
2

Complex analysis. Compute bar derivative

asked 2015-03-22 08:10:44 -0500

Seub gravatar image

Can sage do complex analysis? I was unable to find documentation upon a quick web search.

For instance, I would like to define $f(z) = z \bar{z}$ and ask sage to compute $\displaystyle \frac{\partial f}{\partial \bar{z}}$, is that possible?

Of course I could treat $z$ and $\bar{z}$ as independent variables, but that is not what I'm asking.

edit retag flag offensive close merge delete

2 answers

Sort by ยป oldest newest most voted
1

answered 2015-03-24 21:31:09 -0500

http://en.wikipedia.org/wiki/Wirtinge...

I would agree that this is not implemented in Sage but I would disagree that it can be defined as a "simple combination of the usual derivatives". In particular it is necessary to consider the chain-rule. I have a prototype implementation in FriCAS (Axiom) that does this. In that context I am interested in collaboration and critical review.

http://axiom-wiki.newsynthesis.org/Sa...

From the point of view of complex analysis you might also want to look up references to polygenic functions, e.g. Kasner

http://www.ncbi.nlm.nih.gov/pmc/artic...

edit flag offensive delete link more
1

answered 2015-03-23 10:11:21 -0500

kcrisman gravatar image

See this discussion for some of the problems that currently arise when trying to do this with non-analytic functions.

edit flag offensive delete link more

Comments

I'm not going to read the discussion in detail, sorry. I'm not sure it's relevant. I don't see how there could be a problem with defining the z-derivative and zbar-derivative, who are simple combinations of the usual partial derivatives. So I'm simply understanding that these are not implemented in sage, oh well.

Seub gravatar imageSeub ( 2015-03-24 19:01:23 -0500 )edit

I think the point is that one would first have to know that z is not a single variable, but really to be treated as a two-variable setup in the first place, as opposed to a single (possibly complex) variable. In which case one is basically doing independent variables anyway.

kcrisman gravatar imagekcrisman ( 2015-03-24 20:08:33 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

2 followers

Stats

Asked: 2015-03-22 08:10:44 -0500

Seen: 305 times

Last updated: Mar 24 '15