Is a Continuous Function with Integral Zero on Triangles Holomorphic?

  • Thread starter Thread starter Chris L T521
  • Start date Start date
Click For Summary
SUMMARY

The problem presented involves a continuous function \( f \) defined on a domain \( \Omega \subseteq \mathbb{C} \) with the condition that the integral of \( f \) over any triangle \( T \subset \Omega \) equals zero. The conclusion drawn is that under these conditions, the function \( f \) must be holomorphic. This result is established through the application of complex analysis principles, specifically utilizing properties of integrals and continuity in the complex plane.

PREREQUISITES
  • Understanding of complex analysis, particularly the properties of holomorphic functions.
  • Familiarity with the concept of contour integrals in the complex plane.
  • Knowledge of the implications of continuity in the context of complex functions.
  • Basic understanding of triangles in the context of complex domains.
NEXT STEPS
  • Study the Cauchy-Goursat theorem and its implications for holomorphic functions.
  • Explore the concept of path independence in complex integrals.
  • Learn about the relationship between continuity and differentiability in complex analysis.
  • Investigate the implications of the integral of a function over various geometric shapes in complex domains.
USEFUL FOR

Students and professionals in mathematics, particularly those specializing in complex analysis, as well as educators looking for examples of holomorphic function properties.

Chris L T521
Gold Member
MHB
Messages
913
Reaction score
0
Here's this week's problem.

-----

Problem: Let $f$ be continuous on a domain $\Omega\subseteq\mathbb{C}$ and assume that $\displaystyle\int_Tf(z)\,dz=0$ for each triangle $T\subset\Omega$. Show that $f$ is holomorphic.

-----

 
Physics news on Phys.org
No one answered this week's question. You can find my solution below.

Proof: Let $\mathbb{D}(p,r)=D\subset\Omega$ be a disc. Define a function $F: D\rightarrow\mathbb{C}$ by \[F(z)=\int_{[p,z]} f(\zeta)\,d\zeta\qquad z\in D.\]
Fix some $z_0\in\Omega$. Then if $T=[p,z]\cup [z,z_0]\cup [z_0,p]$ (i.e. the triangle $T$ is made of those three line segments in $D$), we see that
\[\begin{aligned} \int_T f(\zeta)\,d\zeta=0 &\implies \int_{[p,z]} f(\zeta)\,d\zeta + \int_{[z,z_0]} f(\zeta)\,d\zeta + \int_{[z_0,p]} f(\zeta)\,d\zeta = 0\\ &\implies \int_{[p,z]}f(\zeta)\,d\zeta - \int_{[p,z_0]} f(\zeta)\,d\zeta) = \int_{[z_0,z]} f(\zeta)\,d\zeta.\end{aligned}\]
Hence,
\[\frac{F(z)-F(z_0)}{z-z_0}-f(z_0) = \frac{1}{z-z_0} \int_{[z_0,z]}\left( f(\zeta)-f(z_0)\right)\,d\zeta.\]
Since $f$ is continuous at $z_0$, then for each $\varepsilon>0$ there is a $\delta>0$ such that $|f(\zeta)-f(z_0)|<\varepsilon$ whenever $|\zeta-z_0|<\delta$. This now implies that
\[\begin{aligned} \left|\frac{F(z)-F(z_0)}{z-z_0} - f(z_0)\right| &= \left|\frac{1}{z-z_0}\int_{[z_0,z]} \left( f(\zeta)-f(z_0)\right)\,d\zeta\right| \\ &\leq \left|\frac{1}{z-z_0}\right| \int_{[z_0,z]} |f(\zeta)-f(z_0)|\,d\zeta\\ &\leq \varepsilon \left|\frac{1}{z-z_0}\right| \int_{[z_0,z]}\,d\zeta\\ &= \varepsilon\end{aligned}\]
Hence,
\[\left|\frac{F(z)-F(z_0)}{z-z_0} - f(z_0)\right| \leq \varepsilon\qquad \text{if $|z-z_0|<\delta$}\]
It now follows that $F^{\prime}(z_0)$ exists and equals $f(z_0)$. Since $z_0\in D$ was chosen arbitrarily, it follows that $F^{\prime}=f$ (i.e. $f$ has a primitive); furthermore, we have that $F$ is holomorphic in $D$. Since the derivative of a holomorphic function is holomorphic, it now follows that $f$ is holomorphic in $D$. Furthemore, since this is true for every disk $D$ contained in $\Omega$, it must follow that $f$ is holomorphic in $\Omega$.$\hspace{.25in}\blacksquare$
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K