Explore complex differentiability, the fundamental Cauchy-Riemann equations, harmonic functions, and the deep connection between differentiability and analyticity in complex analysis.
Since is differentiable at , the limit exists regardless of the direction of approach. Consider approaching along the real axis ():
Now approaching along the imaginary axis ():
Since these limits must be equal, we have . Equating real and imaginary parts gives the Cauchy-Riemann equations.
Problem: Verify that satisfies the Cauchy-Riemann equations.
Solution:
Write . Then and .
Compute partial derivatives: , , , .
Check CR equations: ✓ and ✓
Therefore, , as expected.
Using the mean value theorem and continuity of partial derivatives, we can write:
By continuity and the CR equations, this equals as , showing differentiability.
From the CR equations, and . Differentiating:
Therefore . Similarly, .
Problem: Show that is harmonic and find a harmonic conjugate.
Solution:
Check: , , so ✓
To find harmonic conjugate , use CR equations: and
From : for some function
From : , so , hence
Therefore . Taking , we get .
Problem: Determine where is differentiable.
Solution:
Write , so ,
Then , , ,
CR equations require: and , so only at
Check:
Therefore, is differentiable only at , and nowhere analytic.
Problem: Check if is analytic.
Solution:
Write
So and
, , ,
CR equations: (unless )
(unless )
CR equations only hold at , so is not analytic anywhere.
Problem: Show that if is differentiable at , then approaching along an arbitrary line gives the same derivative.
Solution:
Approach along for fixed :
Using chain rule:
This must equal (the derivative along real axis) for all . Setting and gives the CR equations.
Problem: Find a harmonic conjugate of (valid in a simply connected domain avoiding the origin).
Solution:
First verify is harmonic: ,
,
✓
Using CR equations: , so
gives , so
Taking , we get (in a suitable branch).
Problem: Show that is harmonic and find its harmonic conjugate.
Solution:
, , so ✓
Using CR: , so
, so ,
(taking )
Therefore
Problem: Describe the geometric effect of on the complex plane.
Solution:
In polar form: if , then
The function squares the modulus and doubles the argument. This means:
Problem: Show that if is analytic and is constant, then is constant.
Solution:
If is constant, then
By CR equations: and
Therefore is also constant, so is constant.
Problem: Determine where is analytic.
Solution:
So ,
, , ,
CR requires , which is impossible.
Therefore is nowhere analytic.
Problem: Verify that is analytic for .
Solution:
Write
So ,
Computing derivatives:
,
,
Check CR: ✓
✓
CR equations are satisfied for , so is analytic there.
To verify analyticity, compute and check both CR equations: and . Remember: CR equations are necessary but not sufficient without continuity of partial derivatives.
Use CR equations: integrate to get with an unknown function , then use to determine . The conjugate is unique up to an additive constant.
Functions involving or are typically not analytic:
Analyticity is a local property, but many theorems require the function to be analytic in an entire domain. Always check the domain carefully, especially for functions like or .
Analytic functions and harmonic functions have numerous applications:
Start with simple polynomial functions, then progress to rational functions and transcendental functions. Always verify your work by checking both CR equations and computing the derivative. Practice finding harmonic conjugates systematically using the integration method.
Problem: Determine where is differentiable.
Solution:
Write
So , (for )
Computing partial derivatives and checking CR equations shows they are not satisfied anywhere except possibly at isolated points. Therefore, is nowhere differentiable.
Problem: Show that if is analytic and is constant, then is constant.
Solution:
If (constant), differentiate with respect to :
, so
Using CR equations: (since )
Similarly, gives
Solving these, if , we get , so is constant, and by CR equations, is also constant.
Problem: Find all analytic functions such that .
Solution:
If , then
The condition implies and .
If is analytic, its real and imaginary parts are harmonic and satisfy these symmetry conditions. Functions of the form where is analytic satisfy this.
Problem: Prove that if is analytic and is constant, then is constant.
Solution:
If is constant, then by the previous example, is constant.
Alternatively, if and , then is analytic and . By maximum modulus principle, both and are constant, so must be constant.
Problem: Verify that satisfies the polar CR equations.
Solution:
Write
So ,
✓
✓
Problem: Verify the polar CR equations for (principal branch).
Solution:
In polar form: where
So ,
, , so ✓
, , so ✓
Problem: Show that if is analytic and is harmonic, then is also harmonic.
Solution:
From CR equations: and
Differentiating: (using equality of mixed partials)
Therefore: , so is harmonic.
Problem: Find the harmonic conjugate of .
Solution:
First verify is harmonic: , , so ✓
From CR equations:
Integrating with respect to : for some function
Also:
Differentiating our expression:
So , hence (constant)
Therefore:
The analytic function is:
Problem: Determine if is analytic and find its derivative.
Solution:
Here ,
Check CR equations:
, → ✓
, → ✓
Since partial derivatives are continuous everywhere, is analytic everywhere.
The derivative:
Note: This is in disguise, confirming that .
Problem: Show that is analytic in using CR equations.
Solution:
Write
So ,
Computing partial derivatives:
So ✓
So ✓
Since partial derivatives are continuous for , is analytic in .
Problem: Find an analytic function such that and .
Solution:
Given
Verify harmonic: , , so ✓
From CR:
Integrating:
Also:
Differentiating: , so , hence
Therefore:
Simplifying:
Using : , so
Final answer:
A function is differentiable at a point if the derivative exists there. A function is analytic (holomorphic) in a domain if it is differentiable at every point in that domain. Analyticity is a stronger condition requiring differentiability in an open neighborhood.
The CR equations express the fact that the derivative must be the same regardless of the direction of approach. In real analysis, we approach from left/right; in complex analysis, we can approach from infinitely many directions, requiring consistency that leads to the CR equations.
Yes, if the partial derivatives exist but are not continuous, the function may satisfy CR equations at a point but not be differentiable. For differentiability, we need CR equations plus continuity of partial derivatives (or stronger conditions).
A harmonic function $u(x,y)$ satisfies Laplace's equation $\Delta u = u_{xx} + u_{yy} = 0$. The real and imaginary parts of analytic functions are always harmonic, and any harmonic function in a simply connected domain is the real part of some analytic function.
Given a harmonic function $u(x,y)$, find $v$ such that $u_x = v_y$ and $u_y = -v_x$. Integrate $v_y = u_x$ with respect to $y$ to get $v$ up to a function of $x$, then use $u_y = -v_x$ to determine that function.