Intereting Posts

convergence of sequence of averages the other way around
Number of ways of distributing balls into boxes
if $\cos{(a\pi)}=\frac{1}{3}$, then $a $ is irrational
About the branch-cut in the complex logarithm
How to prove $A=(A\setminus B)\cup (A\cap B)$
Definite integral, quotient of logarithm and polynomial: $I(\lambda)=\int_0^{\infty}\frac{\ln ^2x}{x^2+\lambda x+\lambda ^2}\text{d}x$
Closed form for the integral $\int_{0}^{\infty}\frac{\ln^{2}(x)\ln(1+x)}{(1-x)(x^{2}+1)}dx$
Product of all elements in an odd finite abelian group is 1
TicTacToe State Space Choose Calculation
Borel Measures: Atoms vs. Point Masses
What will be quantity of wine at the end in the vessel?
Is the following scheme for generating $p_n=(1/3)^n$ stable or not. $p_n=(5/6)p_{n-1}-(1/6)p_{n-2}$.
Is Inner product continuous when one arg is fixed?
p-norm and relative relations questions
Elementary row operations on $A$ don't change the row-space of $A$

Let $D=\{z:|z|\leq 1\}$ be the unit disc in $\mathbb{C}$.

Say $f$ is analytic on $D$ and $g$ is analytic on $\overline{D^c}$, and that $f|_{\partial D}=g|_{\partial D}$.

Is there necessarily an analytic function $h$ such that $h|_D=f$ and $h|_{D^c}=g$?

- On radial limits of Blaschke Products
- Show that $f$ is a polynomial of degree $\le n$
- Does the equality $1+2+3+… = -\frac{1}{12}$ lead to a contradiction?
- Evaluating definite integrals
- Fourier transform of $f(x)=\frac{1}{e^x+e^{-x}+2}$
- Analytic continuation of Dirichlet function

- Why is $|e^{i \lambda z}| |e^{- \lambda y}|= |e^{- \lambda y}|$ here?
- How to switch to a Laurent series' next convergence ring?
- About Non-tangential limits of an analytic function
- number of zeros of a complex polynomial
- Evaluate the definite integral $ \int_{-\infty}^{\infty} \frac{\cos(x)}{x^4 +1} \ \ dx $
- How to prove Mandelbrot set is simply connected?
- Application of maximum modulus principle
- Fractal derivative of complex order and beyond
- Image of the Riemann-sphere
- Fibonacci( Binet's Formula Derivation)-Revised with work shown

Define

$$

h(z) = \begin{cases} f(z), & |z|\le 1 \\ g(z), & |z| > 1. \end{cases}

$$

By assumption, $h$ is continous on $\mathbb{C}$, so by Morera’s theorem, it suffices to check whether

$$

\int_\gamma h(z)\,dz = 0

$$

for all closed curves $\gamma$. In fact, it is enough to check that the integral vanishes for all *triangles*.

Let $\gamma$ be an arbitrary triangle. There are a few cases to consider. If $\gamma$ encloses the unit disc, it follows by deformation of contours that

$$

\int_\gamma h(z)\,dz = \int_{|z| = 1} h(z)\,dz = \int_{|z| = 1} f(z)\,dz = 0

$$

by Cauchy’s integral theorem. Similarly, if $\gamma$ is in the interior of the unit disc, the integral vanishes again by Cauchy’s integral theorem.

Finally, if the triangle intersects the unit circle, we can write the triangle as the union of a number of curves lying completely inside or completely outside the unit disc. These curves consist of line segments that together form the original triangle together with arcs along the circle traversed twice; once in each direction. All in all, the integral along each such closed curve vanishes, yet again by Cauchy’s integral theorem, so our $h$ is indeed an entire function.

Note: we need a version of Cauchy’s integral theorem valid for functions holomorphic on (or outside) the unit disc, continous up to the boundary. Not all textbooks prove this version, but it’s fairly straight-forward.

- Generalisation of alternating functions
- Intuition behind curl identity
- How to solve the Riccati's differential equation
- $f\colon M\to N$ continuous iff $f(\overline{X})\subset\overline{f(X)}$
- what functions or classes of functions are $L^1$ but not $L^2$
- How to write permutations as product of disjoint cycles and transpositions
- Expected value of two successive heads or tails (stuck on computation)
- Meaning of the identity $\det(A+B)+\text{tr}(AB) = \det(A)+\det(B) + \text{tr}(A)\text{tr}(B)$ (in dimension $2$)
- Simple resource for Lagrangian constrained optimization?
- Gradient operator the adjoint of (minus) divergence operator?
- Are there sets of zero measure and full Hausdorff dimension?
- What is the group structure of 3-adic group of the cubes of units?
- Linear independence of images by $A$ of vectors whose span trivially intersects $\ker(A)$
- Is the sequence $\sqrt{p}-\lfloor\sqrt{p}\rfloor$ , $p$ running over the primes , dense in $$?
- 1-1 correspondence between and