MHB Is a Continuous Function with Integral Zero on Triangles Holomorphic?

  • Thread starter Thread starter Chris L T521
  • Start date Start date
Click For Summary
A continuous function \( f \) defined on a domain \( \Omega \subseteq \mathbb{C} \ that has an integral of zero over every triangle \( T \subset \Omega \) is shown to be holomorphic. The problem emphasizes the relationship between the integral condition and the properties of holomorphic functions. The discussion notes that no responses were provided to the posed question, indicating a lack of engagement or clarity on the topic. The original poster has included their solution for reference. The conclusion drawn is that the integral condition is sufficient for establishing the holomorphic nature of the function.
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 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K