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

6
votes
0answers
86 views

Inverse of a differentiable function equal to its derivative then f is analytic

I've found a nice problem concerning analytic functions. Here it is: Let $f: (0, \infty) \rightarrow \mathbb{R}$ be a function differentiable on $(0, \infty)$ and such that $f^{-1} = f'$. Prove that ...
5
votes
0answers
40 views

Reference for the fact that a smooth function analytic on every line is itself analytic

Let $f \in \mathcal C^\infty(\mathbb R^p)$ ($p \geq 2$) be a smooth function such that the functions $g_d(t) := f(td)$ are all analytic for all $t \in \mathbb R$ and all $d \in \mathbb R^p.$ (i.e. $f$ ...
4
votes
0answers
61 views

Riemann Zeta Function Analytic Continuation

I am struggling to understand how the analytic continuation of the Riemann Zeta function is derived to extend it to all complex values $z$ not equal to $1$, starting with the series which converges ...
4
votes
0answers
286 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 ...
4
votes
0answers
439 views

Convergent sum with primes

If $f(n)$ is a strictly increasing elementary function from the reals to the reals, and $p(n)$ is the $n$'th prime number. Is there any $f(n)$ such that $\sum_{n=1}^\infty\frac{1}{f(p(n))}$ is ...
3
votes
0answers
47 views

Analytic Continuation of a nowhere existing Mellin Transform

I'm trying to give sense to the (self-made) statement: The analytic continuation of $\int_0^\infty e^t\;t^{s-1}\;dt$ is holomorphic in $s=0$. At first sight this could seem completely ...
3
votes
0answers
273 views

Question Relating with Open Mapping Theorem for Analytic Functions

This problem is taken from Section VIII.4 of Theodore Gamelin's Complex Analysis: Let $f(z)$ be an analytic function on the open unit disk $\mathbb{D}=\{|z|<1\}$. Suppose there is an annulus ...
2
votes
0answers
74 views
+50

conformal mapping, regions of the complex plane marked +/-, find the function f,

The picture shows what the function f: $\mathbb{C}\to\mathbb{C}\cup\infty$ does to the planes. The values 0 at 0, 1 at $\pm$1, and $\infty$ at $\pm i$ are specified. To elaborate on the picture: ...
2
votes
0answers
34 views

Proof that f(z) = $z^{n}(z^*)^{m}$ is not analytic in any point

Proof that f(z) = $z^{n}(z^*)^{m}$ is not analytic in any point. If i look at the limit of a more simple function of this form: f(z) = $\frac{z}{z^*}$ I would say that the limit does not exist, ...
2
votes
0answers
46 views

Non-Trivial Self-Inverse Analytic Function In The Complex Plane

Let $f$ be a complex-valued function which is analytic for all values of $z$ in the complex plane and which satisfies $$f(f(z))= z $$ i.e. it is a self-inverse function. The trivial solutions for $f$ ...
2
votes
0answers
45 views

Constructing an analytic continuation

I'm hoping someone could verify my answer to the following problem: Consider a function $f$ that is continuous for $Im(z) \geq 0$ and analytic for $Im(z) > 0$. Furthermore, assume that $f$ ...
2
votes
0answers
101 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 ...
2
votes
0answers
229 views

Zeros of analytic function and limit points at boundary

Let $S$ be the open ball of center $0$ and radius $1$ with $0$ removed in the complex plane. Is the function $f(z)=\sin(1/z)$ a valid example of analytic function defined in an open subspace whose ...
2
votes
0answers
156 views

Prescribing zeroes, poles, principal parts and finitely many terms with positive exponents in Laurent series

I was given a problem to prove a theorem by Mittag-Leffler about prescribing the items in the title, using Weierstrass's theorem about prescribed zeroes and Mittag-Leffler's theorem about prescribed ...
1
vote
0answers
24 views

Solutions of complex equation for analytic function

Suppose $g(z)$ is an analytic function on the upper plane, in fact is constructed by Hilbert transform, \begin{equation} g(z) = g_R(x,y) + i g_I(x,y) \quad g_I = \mathcal{H}( g_R) + \text{real ...
1
vote
0answers
29 views

Complex analysis question, maximum principle application

Let $\Omega=\{z, \text{Re}z>0\}$ Suppose that $f$ is continuous in the closure of $\Omega$ and $f$ is holomoprhic on $\Omega$ and there are constants $A<\infty $ and $\alpha<1$ such that ...
1
vote
0answers
30 views

linear first order ODE with polynomial coeffficients

I'm wondering if anything can be said about the solution to a system of linear first order ODEs with polynomial coefficients, especially about analyticity of the solution. The equation is given as ...
1
vote
0answers
36 views

Preimage of the set of critical value of an analytic function between smooth manifolds

I have some problems with the following exercise, maybe due to alack of knowledge: Let $M$ be a connected smooth manifold and let $$ f \colon M \to N$$ be an analytic map. Denote by $C_f \subset M$ ...
1
vote
0answers
50 views

Zeros of the derivatives of a finite Blaschke product.

Let $B$ be an $n$ degree finite Blaschke product. By considering the level curves of $B$, one can show that $B'$ has $n-1$ critical points in the disk (counting multiplicity). Is anything known ...
1
vote
0answers
27 views

separate vs joint real analyticity

Let $$f(x,y) := xy\exp\left(-\frac{1}{x^2+y^2}\right),$$ if $(x,y)\neq (0,0)$ and $f(0,0):=0$. I read the claim that $f$ is (a) separately real analytic on $\mathbb{R}\times\mathbb{R}$ (i.e. for ...
1
vote
0answers
47 views

Euler product for Riemann zeta and analytic continuation

the Euler product for the Riemann zeta $$ \zeta (s)= \prod _{p}\left( \sum_{n=0}^{\infty}p^{-ns}\right) $$ this is only valid for $ \Re(s) >1 $ however we could use the Borel transform so $$ ...
1
vote
0answers
25 views

Existence and uniqueness of an analytic function

I'm reviewing complex for the exam and just got stuck here. Let $g$ be an analytic function at $z=0$. We want to show there exists a unique analytic function $f$ such that (1) $f(0)=0$ (2) ...
1
vote
0answers
52 views

How to explain this result due to Pôlya

How to explain this result due to Pôlya: An entire function is determined uniquely by the inverse images, counting multiplicities of three distinct non omited values. I cannot understand how this ...
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 ...
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
0answers
28 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 ...
1
vote
0answers
104 views

Determine where the function $f(z)=\operatorname{Log}(z^3+2i)$ is analytic.

I need to know if my intuition is correct here. Idea: I would use De'Moivre's formula to find all third roots of -2i and exclude one of these rays because these are the values that give $z^3+2i=0$ ...
1
vote
0answers
30 views

Is it possible to extend a given function to be real analytic if its analytic wave front set consists of finitely many covectors at each point?

Specifically, suppose you have a function $f:\mathbb{R}^{2} \to \mathbb{R}$ and you assume that its analytic wave front set $\mathrm{WF}_{A}(f)$ contains at most finitely many covectors $\{(x, ...
1
vote
0answers
123 views

Schwarz Reflection Principle for function complex on the real line

The Schwarz reflection principle is usually proved for function real on the real (or a subset of) line. I wonder if the same principle/theorem works for general analytic functions on the real line? ...
1
vote
0answers
115 views

Applications of identity theorem to physics

Holomorphic functions have the property that they can be uniquely analytically continued to (almost) the entire complex plane. So, just by knowing how the function behaves at a teenie-weenie open disc ...
1
vote
0answers
71 views

Infinite product of an analytic function on the right half plane

I want to know whether $G_t=\prod_{i=1}^\infty G(s)^i$ is defined and analytic on the right half plane for an analytic $G(s)$ on the right half plane. If so, is $L^{-1}\left(G_t\frac{1}{s}\right)$ ...
1
vote
0answers
22 views

Analytic random function

Let $t\in[0,1]\mapsto X_t\in[0,1]$ an analytic random function. I'd like to say that the deterministic function $t\mapsto \mathbb{E}[X_t]$ is still analytic. What are the minimal conditions needed? ...
1
vote
0answers
190 views

Schwarz reflection principle and bounded derivatives

Suppose $f$ is a holomorphic function on $\Omega^+$ (an open subset of the upper complex plane) that extends continuously to $I$ (a subset of $\mathbb{R}$). Let $\Omega^-$ be the reflection of ...
1
vote
0answers
49 views

How to show that $f(x,y)$ are real analytical

Given a real function $f(x,y)$ on $R^2$, we know that (from wiki) it is called real analytic if it is locally given by a convergent power series. My question is that whether there has some principle ...
1
vote
0answers
66 views

Calculating germs for complete holomorphic function

I'm trying to find the germs $[z,f]$ for the complete holomorphic function $\sqrt{1+\sqrt{z}}$ . The question indicates that I should find 2 germs for z = 1, but I seem to be able to find 3! Where ...
1
vote
0answers
95 views

Are nuclear Montel spaces projective?

The well known fact about $\ell^1$ says that the Schauder basis of $\ell^1(I)$ behaves more-less like a Hamel basis, namely if $X$ is any Banach space and $\mathcal{E}=(e_i)_{i\in I}$ is a basis for ...
0
votes
0answers
25 views

Proving that $f(z)\neq \frac{z}{z+1}$ in $D_1(0)$

Suppose $f$ is analytic in $D_r(0)$ for some $r>1$. I want to prove that $f(z)\neq \frac{z}{z+1}$ in $D_1(0)$. This is how I tried to prove this. Assume $f(z)= \frac{z}{z+1}$ in $D_1(0)$. Now ...
0
votes
0answers
21 views

Approximating an L2 function by analytic functions

Spose I have a $ h \in L^2(U) $ where $ U \subset \mathbb{R}^3 $ is open and bounded. Is it possible to approximate this by analytic functions? If so, spose now we take $ U = \mathbb{R}^3 $. Is this ...
0
votes
0answers
28 views

Real analytic function in one point and zeros

Let $f:I\to\mathbb{R}$ be a continuous function and $t_0\in I$ such that $f$ is analytic at $t_0$ and $f(t_0)=0$. Is it true that there is an entire neighbourhood of $t_0$ in which $f$ has no other ...
0
votes
0answers
9 views

Analytic Continuation of Fourier Transform to a Strip in Complex Domain

This is to prove Theorem IX.13 from the Methods of Modern Mathematical Physics (by Reed & Simon). Let $f$ be in $L^2 (\mathbb{R}^n)$. Then $e^{b|x|} f \in L^2(\mathbb{R}^n)$ for all $b<a$, if ...
0
votes
0answers
30 views

Sufficient Conditions for Analyticity: C-R equations and?

My understanding of the subject is: (1) One of the necessary conditions for analyticity of f(x,y)=u(x,y)+iv(x,y) is satisfaction of the Cauchy-Riemann equations (in x-y, polar, or z-z* form). (2) The ...
0
votes
0answers
18 views

Complex Plane - Analytic Function

I am trying to understand the definition of an analytic function and how to solve for it's domain. I understand that for $f(z) = {1\over z}$ the function is analytic on the complex plane except for 0. ...
0
votes
0answers
52 views

Analytic Continuation of the zeta function

Is the analytic continuation of the Riemann zeta function to the upper half plane unique? I don't know much complex analysis, so I can't see why that is the case.
0
votes
0answers
56 views

Analytic approximations of the step function

Consider the Heaviside step function: $$H:\mathbb{R}\to \mathbb{R} $$ defined by $$H(x)=\begin{cases} 0 & \mbox{if } x<0 \\ 1 & \mbox{if } x\geq 0\end{cases}$$ Fix any $\delta>0$. Given ...
0
votes
0answers
46 views

Determine a branch of $f(z)=\log(z^3-2)$ that is analytic at $z=0$ and find $f(0)$ and $f'(0)$

So I have found this problem in the last exam paper, but I have never done anything like this in class. The professor says that the resit will be very similar to the last 2 papers, so I would really ...
0
votes
0answers
33 views

Covering up discontinuities to create analyticity

The floor function, $\lfloor x \rfloor$ , has a "jump" at the integers where its derivative ceases to exist. Everywhere else, its derivative is zero. Now, I wish to multiply the floor function by ...
0
votes
0answers
63 views

Uniqueness of Analytic Continuation

I wasn't very well introduced to Analytic Continuations, but from what I have seen, showing that the analytic continuation is unique is pretty simple. In Real Analysis, from what I can imagine, there ...
0
votes
0answers
44 views

entire function in complex analysis

$$ y = \left\{ \begin{array}{ll} \dfrac{\cos z}{z^2-\left( \dfrac{\pi}{2} \right)^2}, & z \ne \pm \dfrac{\pi}{2}\\ -\dfrac{1}{\pi}, & z = \pm \dfrac{\pi}{2}\\ \end{array} \right. $$ $$ ...
0
votes
0answers
86 views

An infinite compact set which allows no boundedness and analyticity

I need an example of an infinite compact set $K$ in $\mathbb {C}$ such that there does not exist any non-constant function which is both bounded and analytic on $\mathbb{C} - K$. First, any hints ...
0
votes
0answers
47 views

Show existence of an analytic which cannot be extended beyond the boundary

$G$ is an open strip $\{z:1<\text{Im } z<2\}$. Prove that there exists an analytic function $f(z)\in H(G)$ that does not extend analytically beyond any boundary point of $G$. Also determine ...