Tagged Questions

A function is analytic if it has a converging power series expansion. Please also use one of (real-analysis) or (complex-analysis) to specify real or complex analyticity: though the definition is the same, the properties of functions analytic over real numbers is quite different from the properties ...

learn more… | top users | synonyms

1
vote
1answer
125 views

Proof of a result related to Liouville's Theorem

I was investigating the following corollary to Liouville's Theorem in Complex Analysis: if $f(z)$ is entire and $\lim_{z\rightarrow \infty}z^{-n}f(z)=0$, then $f(z)$ is a polynomial in $z$ of degree ...
0
votes
0answers
44 views

$f$ is analytic with range as a circle

I was given that range of $f$ lies on a cirlce, and $f$ is analytic on $D$. I want to show that $f$ is constant. This is my approach: I suppose that $f$ lies on a circle $|w-P|=R$, where $P,R$ are ...
2
votes
1answer
103 views

Analytic Continuation of Riemann Zeta Function

How do we show that this holds for $\operatorname{Re}(z)>0$ (and not $1$) $$\zeta(z)= \sum_{i=0}^{m-1} n^{-i} + \frac{m^{-z}}2 +\frac{m^{1-z}}{z-1} -z\int_{m}^{\infty} ...
1
vote
1answer
52 views

Complex Analysis analytic function

If $f$ is an analytic function on a domain $D$ and $\mathrm{Im} f$ takes on only the value $71$ then for some constant $C \in \Bbb{R}$, is it true that $f = C + 71 i$ on $D$?
2
votes
1answer
88 views

Smooth function becomes analytic

Let $f$ be a smooth function ,defined on unit interval $[0,1]$.Moreover $\Vert f^{(k)}\Vert_2\leq \alpha,\:\forall k\in\mathbb{N}_o$. Can we conclude that $f$ is analytic. More generally when ...
0
votes
4answers
100 views

On the subject of holomorphic functions on an open disc, D.

The question I am pondering over is an interesting one: If $f(z) = u + iv$ is holomorphic on an open disc $D$, and the range of $f$ lies in either a straight line or a circle, prove that $f$ is ...
2
votes
2answers
92 views

Prove that the entire function $f$ is linear.

Suppose $f=u+iv$ be an entire function such that $u(x,y)=\phi(x)$ and $v(x,y)=\psi(y)$ for all $x,y\in\mathbb{R}$. Prove that $f(x)=az+b$ for some $a\in\mathbb{C},b\in\mathbb{C}$. My approach was: ...
1
vote
1answer
73 views

Complex Conjugation question

I had a complex analysis exam yesterday, and one of the questions is bothering me. Suppose $f(z)$ is an entire function. Show that $g(z) = (f(z^*))^*$ is also entire. Here $^*$ indicates complex ...
3
votes
2answers
116 views

If it converges, how to show that power series converges to $f(x)$?

I had a very basic question. Suppose $f(x)$ is a function. And let us say it has a power series :- $$f(x) = \sum_{n=0}^\infty a_nx^n.$$ Suppose we are operating inside the region of convergence. ...
0
votes
1answer
48 views

Can we deduce that the zeros of $g$ are also isolated?

Let $f:Ω→ℂ$ be a non-zero holomorphic function and $g:Ω→ℂ$ be a non-zero non-holomorphic function. We know that all the zeros of $f$ are isolated. Assume that $$f(s)=0⇒g(s)=0$$ Can we deduce that the ...
1
vote
2answers
75 views

On Cauchy-Riemann equations

Given $f:\mathbb C\to \mathbb C$ is a non-constant entire function. Then which of the following is possible? Re $f(z)=$ Im $ f(z)$, Im$\,f(z)<0$, Re$\,f(z)$ is bounded, $f(z)\neq 0,$ for all ...
1
vote
0answers
24 views

Show that $f$ and $g$ are holomorphic in the set $D=({s=α+iβ∈ℂ: 0<α<1})$

Let us consider two complex functions $g,f$: $$g(α+iβ)=∑_{n=2}^{m}(-1)ⁿ⁻¹((n^{2α-1}-1)/n^{α})n^{iβ}$$ $$f(α+iβ)=(-1)^{m}(((m+1)^{2α-1}-1)/(m+1)^{α})(m+1)^{iβ}$$ My question is: Show that $f$ and ...
0
votes
1answer
71 views
0
votes
1answer
73 views

use example to prove the sum of two nonanalytic functions can be analytic [closed]

Find two functions, each of which is nowhere analytic, but whose sum is an entire function.
3
votes
4answers
398 views

If $f$ is holomorphic and $\,f'' = f$, then $f(z) = A \cosh z + B \sinh z$

Suppose $f$ is holomorphic in a disk centered at the origin and $f$ satisfies the differential equation $$f'' = f.$$ Show that $f$ is of the form $$f(z)=A \sinh z + B \cosh z,$$ for suitable constants ...
1
vote
1answer
28 views

Prove the following property of holomorphic functions.

Let $\rho(x)$ be a holomorphic function on a disk $D \subseteq \mathbb{C}$ with the property that $\rho(x) \notin \mathbb{N^*} = \{1,2,\dots\}$ on $D$. Prove the following: There exists an $R$ ...
4
votes
0answers
273 views

Show that the iterated $\ln^{[n]}$ of tetration(x,n) is nowhere analytic

$$f(x) = \lim_{n\to \infty} \ln^{[n]} x \uparrow\uparrow n$$ The conjecture is that $f(x)$ is monotonic and infinitely differentiable at the real axis, but nowhere analytic; because at each point on ...
1
vote
0answers
19 views

Analytic semiconjugacy

Consider the following commutative diagram (semi-conjugacy): $$ X\;\; \stackrel{f}{\longrightarrow} \;\;X $$ $${\pi}\downarrow \;\;\;\;\;\; \;\;\;\;\downarrow {\pi}$$ ...
1
vote
3answers
163 views

let $f: \mathbb{C} \rightarrow \mathbb{C}$ be a continuous function and assume $f(z) = f(2z)$, prove that f is constant

$f: \mathbb{C} \rightarrow \mathbb{C}$ be a continuous function and assume that $f(z) = f(2z)$ for all $z \in \mathbb{C}$. Prove that f is constant... Then we are supposed to use this result to ...
5
votes
4answers
363 views

Define a branch of $(z^2 − 1)^{1/2}$ which is analytic in the unit disk.

Hint: $z^2 − 1 = (z + 1)(z − 1)$. I'm really struggling with this question. I understand that for this function to be analytic it has to be differentiable in some neighbourhood, but I have no idea ...
0
votes
0answers
16 views

Milne-thompson for polar form

How can we readily apply MilneThompson method to find the conjugate function if the complex variable is given in polar form? If a complex variable is given as $u(x,y) + i v(x,y)$ then its $f'(Z) ...
1
vote
1answer
67 views

Why do u,v components in Cauchy-Riemann conditions are irrotational?

It's very strange to me! When we decompose a complex function to a real part and an immaginary part, we have $f(z) = u(x,y) + j v(x,y)$ following the conditions of analyticity we can derive the ...
1
vote
1answer
29 views

Polar partial derivatives continuously differentiable implies holomorphic

I need to show that if $f(re^{i\vartheta}) = U(r,\vartheta) + iV(r, \vartheta)$ and $U,V$ are continuously differentiable and satisfy the Cauchy-Riemann equations, then $f$ is holomorphic. I am ...
2
votes
3answers
178 views

Corresponding analytic function?

I have found a general harmonic function of form $a x^3 - 3dx^2 y - 3axy^2 + dy^3$ and it's harmonic conjugate $v = 3ax^2y - 3dxy^2 + ay^3 + dx^3 + K$ where k is constant. I now am asked to find the ...
1
vote
1answer
181 views

Analytic continuation of complex square root

This example comes from the book by Elias Wegert: Visual Complex Functions. Consider the function $f(z):=z^{1/2}$ for $z \in \mathbb{C}$ with $|z - 1| < 1.$ For these $z$, the function can be ...
5
votes
1answer
93 views

Adjoint of multiplication by $z$ in the Bergman space

I am learning Hilbert space theory from Halmos' "Introduction to Hilbert space and the theory of spectral multiplicity". While talking about understanding adjoints (p. 39), he calls special ...
4
votes
1answer
90 views

Commutativity of integration and Taylor expansion of the integrand in an integral

I am baffled with a seemingly a straightforward problem. Suppose we are given the following integral: \begin{equation} f(a)\,=\,\int_{0}^{\infty} \frac{x^4}{x^4+a^4} e^{-x}, \end{equation} and we ...
1
vote
1answer
186 views

$f $ is analytic and maps the unit disk to itself. Prove that $|f'(0)|\leq1- |f(0)|^2 $

I am having difficulties with the following problem: $\bf Given$: $f $ is analytic and maps from unit disk to itself. $\bf Prove:$ $|f'(0)|\leq1- |f(0)|^2 $. For some reason (unclear to me) it ...
1
vote
1answer
36 views

Real analyticity of $\sqrt{x}\coth(\sqrt{x})$ : function that is decreasing with resp. to derivation

I'm trying to show that $\frac{\sqrt{x}}{\tanh(\sqrt{x})}$ is real analytic at $x=0$ (with the principal determination of $\sqrt x$). Apparently (i.e. thanks to graphs with Maple) $n \mapsto ...
1
vote
1answer
48 views

When does analytic continuation respect functional equation

This is a subtle point about analytic continuation. Let $\Gamma(s)$ be the analytic continuation of $\gamma(s) := \int_0^\infty e^{-t}t^{s-1}dt$ to $\Bbb C \setminus \Bbb Z_{<0}$, the latter ...
2
votes
2answers
212 views

Show that the Cauchy integral formula implies the Cauchy-Goursat Theorem

I'm struggling with this question, the integral formula states: $$f(z_0) = \frac{1}{2\pi i} \int_{C}\frac{f(z)}{z-z_0}\,dz$$ and the Cauchy-Goursat theorem states: If $f$ is holomorphic in a simply ...
2
votes
2answers
85 views

$f$ analytic and $|f|$ a function of $|z|$

Suppose $f$ is analytic inside the unit disc and that $|f(z)|$ depends only on $|z|$. Prove that we can write $f(z) = Cz^N$, for all $z$ in the disc. In the suggested proof, it is stated like it's ...
0
votes
2answers
68 views

Show that $\log|\sin(z)|$ is the real part of a holomorphic function

$D$ is a connected, simply connected domain with $\sin(z)$ never zero on D. Show that $\log|\sin(z)|$ is the real part of a holomorphic function. My question is: how to show $\sin(z)$ maps a simply ...
5
votes
1answer
170 views

How to imagine zeros of an analytic function of several variables

Let $f(z_1,\cdots, z_n)$ be a holomorphic function of several variables in an open subset of $\mathcal C^n$. Let $Z(f)=\{ (z_1,\cdots, z_n) \: | \: f=0\}$ be the zero set of $f$. If $n=1$, the zeros ...
0
votes
1answer
37 views

Analytic functions in two variables

Let $f$ be an analytic function in two complex variables. It is well known that we can expand $f$ in a convergent series of two variables. Can we separate the variables in such a manner that $f$ ...
2
votes
2answers
154 views

Behavior of holomorphic functions on the boundary of the unit disk

$\textbf{Problem.}$ Suppose $f$ is holomorphic on the unit disk $\mathbb{D}$. Show there are points $a_n\in \mathbb{D}$, $a\in \partial \mathbb{D}$, and $b\in \mathbb{C}$ such that $a_n\to a$ and ...
21
votes
1answer
504 views

Is it possible for a function to be smooth everywhere, analytic nowhere, yet Taylor series at any point converges in a nonzero radius?

It is well-known that the function $$f(x) = \begin{cases} e^{-1/x^2}, \mbox{if } x \ne 0 \\ 0, \mbox{if } x = 0\end{cases}$$ is smooth everywhere, yet not analytic at $x = 0$. In particular, its ...
2
votes
2answers
95 views

Are analytic functions injective?

Let $f$ be analytic on the whole all of $\mathbb C$. Assume that $\mathrm{Re}\, f \ge 0$. What can we say about $f$? I'm thinking $f$ has got to be constant, since otherwise it would map the entire ...
3
votes
1answer
63 views

Prove f is analytic and periodic

Suppose that there are entire functions $\{f_n\}$ so that for all complex numbers $x+iy$ $$\sum_{n=1}^{\infty} |f_n(x+iy)|^{\frac{1}{n}} \leq e^x$$ Show that $f(z)=\sum_{n=1}^{\infty} f_n(x+iy)$ is ...
2
votes
1answer
126 views

for two non zero complex polynomial $p(z),q(z)$ we have $p(z)\overline{q(z)}$ is analytic if and only if ?? CSIR - June $2013$

Question is : for two non zero complex polynomial $p(z),q(z)$ we have $p(z)\overline{q(z)}$ is analytic if and only if $p(z)$ is Constant $p(z)q(z)$ is Constant $q(z)$ is Constant ...
1
vote
1answer
94 views

The natural boundary of the modular $\lambda$ function is the real axis

I want to solve the following problem from Ahlfors' text: Show that the function $\lambda(\tau)$ introduced in Chap. 7, Sec. 3.4, has the real axis as a natural boundary. Here $\lambda(\tau)$ is ...
5
votes
1answer
141 views

(solution verification) the series $\sum z^{n!}$ has the unit circle as a natural boundary

I've tried to solve the following problem from Ahlfors' complex analysis text: If a function element $(f,\Omega)$ has no direct analytic continuations other than the ones obtained by restricting ...
0
votes
1answer
37 views

Specify analytic function

How can I check that function $f(z)=z^3+z-1$ is analytic or not without Cauchy-Riemann equations? $(z\in\Bbb C)$
0
votes
0answers
22 views

Is $f(z)=\int_{-\infty}^{\infty}c(k)e^{-k^2/2}e^{ikz}dk$ a general analytic function?

I have an expression $f(z)=\int_{-\infty}^{\infty}c(k)e^{-k^2/2}e^{ikz}dk$ where $c(k)\in\boldsymbol{C}$ and $k\in\boldsymbol{R}$. $f(z)$ is an analytic function, since it contains only non-negative ...
4
votes
1answer
99 views

Odd and even square roots of $z^2-1$

This is a very interesting exercise (provided that it is correct). Find two holomorphic functions $\,f_1: \Omega_1\to\mathbb C$ and $f_2:\Omega_2\to\mathbb C$, which are both square roots of $z^2-1$, ...
3
votes
1answer
111 views

Complex Analysis: Log Function

I want to approach this problem with maximum understanding of everything that is going on. I have the function $F(z)=\log(z^2+4)$, and I want to give a region in which it is analytic. I guess I ...
0
votes
1answer
42 views

Convergence of an analytic function

Let $f:\mathbb{R} \rightarrow \mathbb{R}$ be a smooth function. Let $R$ be the radius of convergence of the Taylor series centered at $a.$ For each $n \in \mathbb{N},$ let $M_n= \sup\{f^{n}(t) : t \in ...
0
votes
1answer
45 views

Proving that a metric on space of analytic functions is equivalent to compact convergence

Let $U\subseteq \mathbb C$ be open and $\mathscr A(U)$ consist of all analytic functions on $U$. I can easily prove that there exists a sequence $K_n$ of compact sets in $U$ so that ...
0
votes
1answer
45 views

Suppose $f \in C^{\infty}(\mathbb R)$ and $\lim_{n \to \infty} \frac{1}{n!} \int_0^a x^n f^{(n+1)}(a-x)dx=0.$ Show $f$ is analytic on $\mathbb{R}$.

Suppose that $f \in C^{\infty} (-\infty , \infty)$ and that $$\lim_{n \to \infty} \frac{1}{n!} \int_0^a x^n f^{(n+1)}(a-x)dx=0$$ for all $a\in \mathbb{R}$. Prove that $f$ is analytic on ...
0
votes
1answer
69 views

convolution of measurable function with analytic function

Let $f$ be a bounded measurable function with support on the unit disk $\mathbb D \subset \mathbb R^2$ and let $g$ be an analytic function on $\mathbb R^2$. Is it true that the convolution $h = f ...