Real parts of two analytic functions are equal?

  • Thread starter Thread starter bmanbs2
  • Start date Start date
  • Tags Tags
    Functions parts
Click For Summary
SUMMARY

The discussion centers on the proof that if two analytic functions, f and g, have equal real parts on the boundary of a bounded domain D, then they can be expressed as f = g + ia, where a is a real constant. The Maximum Modulus Principle is crucial in this proof, as it establishes that the real parts of both functions do not attain local maxima or minima within the domain D. By defining the function h = g - f, it is shown that Re(h) = 0 on the boundary B, leading to the conclusion that Re(h) = 0 throughout the domain D.

PREREQUISITES
  • Understanding of analytic functions and their properties
  • Familiarity with the Maximum Modulus Principle in complex analysis
  • Knowledge of real and imaginary parts of complex functions
  • Basic skills in proof techniques within mathematical analysis
NEXT STEPS
  • Study the Maximum Modulus Principle in detail
  • Explore the properties of analytic functions in complex analysis
  • Learn about the implications of the identity theorem for analytic functions
  • Investigate the relationship between boundary conditions and function behavior in complex domains
USEFUL FOR

Mathematics students, particularly those studying complex analysis, as well as educators and researchers interested in the properties of analytic functions and their applications.

bmanbs2
Messages
22
Reaction score
0

Homework Statement


Suppose [tex]f[/tex] and [tex]g[/tex] are analytic on a bounded domain [tex]D[/tex] and continuous on the domain's boundary [tex]B[/tex].
Also, [tex]Re\left(f\right) = Re\left(g\right)[/tex] on [tex]B[/tex].
Show that [tex]f = g + ia[/tex], where [tex]a[/tex] is a real number.

Homework Equations


The maximum modulus principle states that [tex]Re\left(f\right)[/tex] and [tex]Re\left(g\right)[/tex] have no local minima or maxima on [tex]D[/tex], and that the absolute values of [tex]Re\left(f\right)[/tex], [tex]Re\left(g\right)[/tex], [tex]f[/tex], and [tex]g[/tex] have maximums on [tex]B[/tex].

The Attempt at a Solution


I'm not sure how to show [tex]Re\left(f\right) = Re\left(g\right)[/tex] across the entire domain.
 
Last edited:
Physics news on Phys.org
Actually just found the answer, so I'll post it here.

Consider the function [tex]h = g - f[/tex]. As [tex]f[/tex] and [tex]g[/tex] are analytic, [tex]h[/tex] is also analytic. But as [tex]Re\left(f\right) = \left(g\right)[/tex] on [tex]B[/tex], [tex]Re\left(h\right) = 0[/tex] on [tex]B[/tex]. The Maximum Modulus Principle states that [tex]|Re\left(h\right)|[/tex] reaches its maximum on [tex]B[/tex], so [tex]Re\left(h\right) = 0[/tex] on D as well.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
1
Views
2K