Register to reply

Functions of Complex Variables

by alchemistoff
Tags: complex, functions, variables
Share this thread:
alchemistoff
#1
Jan22-10, 07:54 AM
P: 7
1. The problem statement, all variables and given/known data
{Q 6.2.2 from Arfken "Mathematical Methods for Physicists"}
Having shown that the real part [tex]u(x,y)[/tex] and imaginary part [tex]v(x,y)[/tex] of an analytic function [tex]w(z)[/tex] each satisfy Laplace's equation, show that [tex]u(x,y)[/tex] and [tex]v(x,y)[/tex] cannot have either a maximum or a minimum in the interior of any region in which [tex]w(z)[/tex] is analytic. (They can have saddle points)


2. Relevant equations
Cauchy-Riemann (CR) relations for analyticity of the function [tex]u_x=v_y[/tex] and [tex]u_y=-v_x[/tex] where subscript stands for partial differentiation with respect to that variable.

[tex]\nabla^2u=0[/tex] and [tex]\nabla^2v=0[/tex] (it follows from CR relations and proves that analytic function satisfies Laplace's equation)


3. The attempt at a solution

The local minimum/maximum points are to satisfy [tex]u_x=0[/tex] and [tex]u_y=0[/tex]
and
[tex]M=u_{xx}u_{yy}-(u_{xy})^2>0[/tex]

[tex]\nabla^2u=u_{xx}+u_{yy}=0\therefore u_{xx}=-u_{yy}[/tex]

[tex]M=-u_{yy}^2-u_{xy}^2\leq0[/tex]

...and it looks like totally wrong direction...
Phys.Org News Partner Science news on Phys.org
Suddenly, the sun is eerily quiet: Where did the sunspots go?
'Moral victories' might spare you from losing again
Mammoth and mastodon behavior was less roam, more stay at home
payumooli
#2
Jan22-10, 01:04 PM
P: 48
i think you proved it, for a function of two variables to have a min or max
[tex]
-u_{yy}^2-u_{xy}^2 > 0
[/tex]

but for a saddle point
[tex]
-u_{yy}^2-u_{xy}^2 < 0
[/tex]
since the square of two real numbers is always positive, the condition will give only a number <= 0.
if it is = 0 you cannot conclude anything
if it is <0 it is a saddle point

so u(x,y) and v(x,y) cannot have either a maximum or a minimum in the interior of any region in which w(z) is analytic.
snipez90
#3
Jan22-10, 01:21 PM
P: 1,105
Wait, the square of a real number is non-negative, so haven't you completely ignored the case where you can have a saddle point or a local extremum?

alchemistoff
#4
Jan22-10, 04:51 PM
P: 7
Functions of Complex Variables

Precisely, the fact that [tex]M[/tex] can be zero doesn't allow proof to be completed. The only way to complete it is to show that for points where [tex]u_x=0[/tex] and [tex]u_y=0[/tex] [tex]M[/tex] cannot be zero.

or there is probably different approach which I cannot see...
Count Iblis
#5
Jan22-10, 06:16 PM
P: 2,158
Well, what does Gauss's divergence theorem yield for the integral of the Laplacian of U over a small area containing a hypothetical maximum/minimum of U?
alchemistoff
#6
Jan23-10, 05:00 AM
P: 7
From Gaussian theorem we have

[tex]\int _V\nabla^2 u \, dV=\int_S \nabla u \cdot n\, dS[/tex]
[tex]0=\int_S \nabla u \cdot n\, dS[/tex]

I intuitively see that zero flux of [tex]\nabla u[/tex] implies that [tex]u[/tex] cannot have minimum or maximum but do not fully grasp it.

If it is to be true, then in the enclosed region where [tex]u[/tex] is minimum/maximum [tex]\nabla u[/tex] must be all negative/positive but cannot see why this is true.
Count Iblis
#7
Jan23-10, 06:33 AM
P: 2,158
You have to make your intuition more explicit. Intuitively we see a maximum that looks like a mountain top, so we see a gradient that points away from the mountain top. You then have to think about how to translate that to pure math. What is clear is that you cannot see this effect when expanding U to first order around the maximum, you have to go to second order.

So, you can make the following plan. Let's try to use the fact that U is analytic. U has a series expansion and you can write U around its maximum as a quadratic plus an error term. This will capture the above picture correctly. If you now use Gauss' theorem and substitute in the flux term involving nabla U the second order expansion plus error term, you should be able to prove that the flux term has to be strictly positive if U has a maximum or strictly negative if U has a minimum.
alchemistoff
#8
Jan23-10, 07:49 AM
P: 7
Thanks.


Register to reply

Related Discussions
[complex functions] finding complex roots in 1+z+az^n Precalculus Mathematics Homework 2
Complex conjugate variables as independent variables in polynomial equations Linear & Abstract Algebra 0
Complex Variables. Complex square root function Calculus & Beyond Homework 0
Complex Variables. Problem about complex sine. Calculus & Beyond Homework 2
Two functions in two variables General Math 6