Intereting Posts

Why do you add +1 in counting test questions?
How to show these two definitions of the Riemann integral are equivalent?
Proof of $\sum_{n=1}^\infty \frac{1}{n^4 \binom{2n}{n}}=\frac{17\pi^4}{3240}$
The Ext functor in the quiver representation
About sparse polynomial squares
Supremum of a Set of Integers
How many times is the print statement executed?
Prove that $\frac{\partial x}{\partial y} \frac{\partial y}{\partial z} \frac{\partial z}{\partial x} = -1$ and verify ideal gas law
The completion of a separable inner product space is a separable Hilbert space
Conditions under which $a+b+c$ divides $1-abc$
Non-constructive axiom of infinity
Finite choice without AC
Drawing a tetrahedron from a parellelepiped to convince myself it is 1/6th the volume,
A push-out of a pull-back
Show that $f(x) = \log\log(\frac{e}{\Vert x \Vert_{2}})$ is in Sobolev space $W^{1,p}(B_1(0))$

While I’m reading *Complex Analysis* by Elias M.Stein, I found that there must be some relations between Goursat’s theorem and Morera’s theorem. According to Stein, the 2 theorems are as following:

**Goursat’s theorem:** *If $\Omega$ is an open set in $\mathbb{C}$, and T $\subset \Omega$ a triangle whose interior is also contained in $\Omega$, then
$$\int_Tf(z)\,dz=0,$$
whenever f is holomorphic in $\Omega$.*

**Morera’s theorem:** *Suppose $f$ is a continuous complex-valued function in the open disc $D$ in $\Bbb{C}$ such that for any triangle $T$ with its interior in $D$ we have:
$$\int_Tf(z)\,dz=0,$$
then $f$ is holomorphic.*

- Maximum of $\frac{\sin z}{z}$ in the closed unit disc.
- Given $f: \Bbb R\rightarrow\Bbb R$ and a point $a\in\Bbb R$. Prove $lim_{x\rightarrow a} f(x)=\lim_{h\rightarrow 0} f(a+h)$ if 1 of the limits exists.
- A smooth function's domain of being non-analytic
- A question about Measurable function
- Is there a notion of a complex derivative or complex integral?
- composition of $L^{p}$ functions

As far as I’m concerned, Morera’s theorem is the inverse theorem of Goursat’s theorem. I mean, the former tells us a property of the holomorphic functions, while the latter tells us how to determine a function is holomorphic or not, is it right?

And, what’s the difference between open set $\Omega$ and open disc $D$ here? Are they interchangeable without the result changing? Please help me.

- Any even elliptic function can be written in terms of the Weierstrass $\wp$ function
- For fixed $z_i$s inside the unit disc, can we always choose $a_i$s such that $\left|\sum_{i=1}^n a_iz_i\right|<\sqrt3$?
- How to calculate $\int_0^\pi \ln(1+\sin x)\mathrm dx$
- Constructing one-forms on a Riemann surface using the uniformization theorem
- differential system on the torus
- What is the analytic continuation of the Riemann Zeta Function
- Is $\sin^2(z) + \cos^2(z)=1$ still true for $z \in \Bbb{C}$?
- Numerically estimate the limit of a function
- Determining Laurent Series
- Proving $f$ has at least one zero inside unit disk

Morera’s theorem, when properly^{(1)} stated, is indeed the exact converse of Goursat’s theorem.

**Theorem (Morera):** Let $\Omega\subset\mathbb{C}$ open, and $f\colon\Omega\to\mathbb{C}$ a continuous function. If for all triangles $T\subset\Omega$ *whose interior is also contained in* $\Omega$ $$\int_T f(z)\,dz = 0,$$ then $f$ is holomorphic in $\Omega$.

Instead of triangles, one could of course also use rectangles, or other polygons. And actually, we could drop the condition that the interior of the triangle be contained in $\Omega$ and be left with a still true, but arguably less useful result, since we would then have a sufficient but not necessary condition (consider $1/z$ on $\mathbb{C}\setminus \{0\}$ to have function satisfying the condition as stated, but not the stronger condition one obtains by dropping “whose interior is also contained in $\Omega$”).

The condition entails the existence of local primitives of $f$, i.e. every $z\in \Omega$ has a neighbourhood $U$ such that $f = F’$ for a holomorphic function $F$ on $U$. Thus $f$ is holomorphic on $U$ (the derivative of a holomorphic function is again holomorphic), and since holomorphicity is a local property, $f$ is holomorphic on $\Omega$.

To establish the existence of local primitives, one considers (for example) for $z_0 \in \Omega$ a disk $U = D_r(z_0) \subset \Omega$, and on $U$ the function $F(z) = \int_{z_0}^z f(\zeta)\,d\zeta$. The vanishing of the integral of $f$ over triangles whose interior is contained in $\Omega$ then yields $F(z) – F(w) = \int_w^z f(\zeta)\,d\zeta$, from which $F’ = f$ follows with the continuity of $f$.

^{(1)} The term “properly” means “properly for this purpose”, or “adequately to show it is the converse of Goursat’s theorem” here. Stating it for simply connected domains or disks is not wrong.

There is one downside to stating it explicitly for simply connected domains, however. Often, people aren’t aware of the local character of the theorem, and consider the simple connectedness as essential for the validity of the theorem. The essential point is the locality, that one considers not the entire domain $\Omega$, but a small convex neighbourhood $U\subset \Omega$ of a point $z\in \Omega$ to construct the local primitive.

- derivation of fibonacci log(n) time sequence
- Intersection of cosets
- Asymptotic estimate of an oscillatory differential equation
- An nth-order ODE has n linearly independent solutions
- Relationships between $\det(A+B)$ and $A+B$
- Can we distinguish $\aleph_0$ from $\aleph_1$ in Nature?
- $\sum_{n=1}^{50}\arctan\left(\frac{2n}{n^4-n^2+1}\right)$
- How to check the real analyticity of a function?
- Best known bounds for Ramsey numbers
- Can all circles of radius $1/n$ be packed in a unit disk, excluding the circle of radius $1/1$?
- Proof of a simple property of real, constant functions.
- Probability of two opposite events
- Product of totally disconnected space is totally disconnected?
- The Cauchy-Schwarz Master Class, Problem $1.2$
- continuous onto function from irrationals in onto rationals in