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

0
votes
1answer
69 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
381 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
26 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
260 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
149 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
326 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
15 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
66 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
28 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
148 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
151 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
85 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
84 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
174 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
46 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
199 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
82 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
67 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
159 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
141 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
462 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
87 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
60 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
121 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
84 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
124 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 ...
3
votes
1answer
101 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
41 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
44 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
67 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 ...
5
votes
1answer
99 views

Proof of the three-point characterization of holomorphy

This post on Math Overflow is looking for the source of the following theorem: Let $D = \{ z \in \mathbb{C} : |z| < 1 \}$ denote the open unit disk. A function $f : D \to D$ is holomorphic iff ...
1
vote
1answer
75 views

Specifying a holomorphic function by a sequence of values

Given a sequence $(z_n, w_n)$ of pairs of complex numbers such that $|z_n| \to \infty$ as $n \to \infty$, there exists a holomorphic function $f$ such that $f(z_n) = w_n$ for all $n$. Proof: By the ...
1
vote
0answers
26 views

When is meromorphic continuation possible?

Suppose I have an expression of the form $$f(z) := f_1(z)+f_2(z)$$ ($f,f_1,f_2$ can e.g. be integrals) with $f_1$ convergent in the region $R_1=\{\Re(z)>-1\}$ and $f_2$ convergent in the region ...
0
votes
1answer
43 views

Principal Logarithmic Question

Here is a question that is driving me insane: Show that $p.v \sqrt{z-1}\times p.v\sqrt{z+1}=-p.v.\sqrt{z^2 -1}$ for $Re(z)<-1.$(p.v. stands for the principal singular valued logarithmic ...
2
votes
1answer
126 views

To what extent is a function that is analytic on the unit disk determined by its boundary values?

Suppose we have a function that is analytic on the open unit disk. Suppose we have a continuous function on the boundary of the disk that maps each point on the boundary of the disk to its conjugate. ...
1
vote
1answer
133 views

Composition of continious and analytic map

Let $U,V,W\subset\mathbb{C}$ open and connected, $f:U\to V$ continous and $g:V\to W$ analytic and non-constant. If $g\circ f$ is analytic, does then $f$ have to be analytic as well? I guess the ...
6
votes
1answer
259 views

Extended Proof of the Theorem that a bounded analytic function is constant.

I am having trouble feeling convinced by my proof and more importantly - feeling confident in my working out. The question reads (a) Let $f$ be an entire function such that there exist real ...
18
votes
2answers
553 views

Function $f(x)=\int_0^\infty\left|\sin(t)\cdot\sin(x\,t)\cdot e^{-t}\right|\,dt$

Let $$f(x)=\int_0^\infty\Big|\sin(t)\cdot\sin(x\,t)\cdot e^{-t}\Big|\,dt,$$ where $|\dots|$ denotes the absolute value. We are concerned only with positive values of $x$ (i.e. let the domain of the ...
0
votes
1answer
59 views

Two $C^\infty$ functions which agree on a set containing an accumulation point, but do not agree on *any* neighborhood?

As I understand it, two analytic functions defined on $\mathbb{R}^k$ which agree on a set with an accumulation point must agree on a neighborhood; however, the same is not true of $C^\infty$ ...
0
votes
1answer
70 views

Can we get an analytical solution to this equation involving the Lambert W function?

Can we get an analytical solution to the variable $t$: $$H\left(1+W\left(A\exp\left(Bt\right)\right)\right)=1+W\left(X\exp\left(Yt+Z\right)\right)$$ $W(x)$ is the Lambert W function.$A$ $B$ $X$ $Y$ ...
3
votes
2answers
163 views

Using Taylor expansion for a smooth real function

I've come across the following problem in Cracking Mathematics Subject Test, 4th Edition by Steve Leduc, from Princeton Review. Let $f(x)$ be a function that has derivatives of all orders at every ...
4
votes
2answers
318 views

Where is $\operatorname{Log}(z^2-1)$ Analytic?

$\newcommand{\Log}{\operatorname{Log}}$ The question stands as Where is the function $\Log(z^2-1)$ analytic , where $\Log$ stands for the principal complex logarithm. My understanding is that ...
2
votes
0answers
95 views

Explicit example of a function with Fourier transform in $C_0^\infty(\mathbb{R})$

Is anyone aware of an explicit example of a (Schwartz, real-analytic, extending to an entire function with suitable decay properties along imaginary directions as for the Paley–Wiener-Schwartz ...
4
votes
1answer
118 views

A question related to uniqueness principle theorem.

We know that the equation $ \sin^2z+ \cos^2z=1$ which holds $ \forall z \in\Bbb R$, also holds $ \forall z \in\Bbb C$. This is obvious under the shadow of following theorem: Uniqueness principle ...