Everything2
Near Matches
Ignore Exact
Full Text
Everything2

proof of the Cauchy-Riemann equations

created by Noether

(idea) by Noether (2.7 y) (print)   ?   1 C! I like it! Thu Aug 31 2000 at 6:49:07

First read the statement of the Cauchy-Riemann equations.

Suppose that we have f:U-->C, a complex-valued function defined on some open subset U. Choose a point z0 in U and think of f as mapping to R2. What does it mean for f to have a derivative at z0 in the sense of real functions? Well, first WLOG we assume that z0=0 and f(z0)=0 (this simplifies the algebra but makes no essential difference). The derivative exists at this point iff there exist a,b in C such that

f(z)=ax+by+k(z)z (*)

where k(z)--> 0 as z --> 0. (Note that a,b are just the partial derivatives of f with respect to x and y and we are writing z=x+iy, as usual.)

Looking at (*) we can rewrite it as

f(z)=(1/2)(a-ib)z + (1/2)(a+ib) bar(z) +k(z)z

where bar(z)=x-iy is the complex conjugate. (This just uses that z+bar(z)=2x and z-bar(z)=2iy.)

When z is nonzero we can divide both sides by it and we get

f(z)/z = (1/2)(a-ib) + (1/2)(a+ib)(bar(z)/z) +k(z)

Now f(z)/z has a limit at zero iff the coefficient (a+ib) of bar(z)/z is zero. This is because bar(z)/z is 1 if z is real but is -1 when z is imaginary.

If we write f=u+iv then a=du/dx + idv/dx and b=du/dy +idv/dy (at the point under consideration) and so we deduce that if f is holomorphic on U then then du/dx-dv/dy=0 and dv/dx+du/dy=0, as was required. Conversely, if f=u+iv for continuously differentiable real functions u(x,y) and v(x,y) satisfying these equations then f is holomorphic.


printable version
chaos

Cauchy-Riemann equations Adven Turing common mathematical abbreviations Principles of mathematical analysis
IFF complex number Augustin Cauchy functional analysis
Fourier analysis multiresolution analysis Analytic Abelian
complex analysis mathematics real number continuous
complex conjugate Derivative open Average
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.
  Epicenter
Login
Password

password reminder
register

Everything2 Help

Cool Staff Picks
Drink up!
Seasonal Affective Disorder
Pictures of Everythingians
Steve Allen
I've got a page one story buried in my yard; I've got a troubled mind
I've got a little list
Irish Wake
I am not a hacker
How to find something which has been lost
Temporary: Monday
The Truman Show
My biological clock is not ticking, dammit!
It is my nature to covet
Sleeping at work
New Writeups
Scaevola
Roman marriage(thing)
rootbeer277
m&m's Ice Cream Treats(review)
Transitional Man
Gus's Chalet(review)
minnow
.410 bore(thing)
shaogo
Phonautogram(thing)
Morkel
Changing your sexuality(idea)
teleny
Baron Samedi(person)
Ouzo
The Great Barbershop Race Wars(log)
Mannerisky
second language(essay)
aneurin
British Monomarks(idea)
FrankThomas
How and why do we (humans) have culture?(essay)
lee_cad
Isaac(person)
kalen
downvota(poetry)
Andrew Aguecheek
Wstfgl(thing)
ncc05
overheard at IHOP(event)
E2 is a by-product of the existence of The Everything Development Company