The analytic-functions tag has no wiki summary.

**2**

votes

**2**answers

130 views

### analytic vector bundles

Let $E$ be a real analytic vector bundle on an analytic manifold $M$. Assume that $E$, as a smooth vector bundle, is a trivial bundle.
Is $E$ a trivial analytic vector bundle?
I need to the ...

**2**

votes

**0**answers

73 views

### Analytic version of the Cartan lemma

Assume that $\beta$ is a real analytic 2-form on an analytic manifold $M$ and $\alpha$ is an analytic non vanishing 1-form on $M$. Assume that $\beta \wedge \alpha=0$. Is there an analytic 1-form ...

**1**

vote

**2**answers

214 views

### A cohomology associated to a 1- form

In this question all objects are real analytic.(manifolds, differential forms..)
Assume that $M$ is a compact manifold and $\alpha \in \Omega^{1}(M)$ is a one form.
We define a map ...

**4**

votes

**2**answers

397 views

### I don't understand behavior of this integral, help!

In an answer to a question I needed the following integral:
$$
f(z):=\int\limits_0^\infty t\coth(zt)e^{-t^2}dt;
$$
it represented deviation from modularity of some other function. However I noticed ...

**0**

votes

**1**answer

106 views

### Comparison of two infinite dimensional Lie Algebras

Is there an example of a real analytic (compact) manifold $M$ such that the following two lie algebras are isomorphic Lie algebras:
$\chi^{\infty}(M)$, the Lie algebra of all smooth vector ...

**1**

vote

**0**answers

39 views

### hyperfunctions and analytic duals

Let $A(\mathbb R^n)$ be the real analytic functions and $\mathscr B(\mathbb R^n)$ the hyperfunctions, dual to $A(\mathbb R^n)$. Further let $W\subset \mathbb C$ be a cone in the complex plane with ...

**13**

votes

**1**answer

401 views

### Derivation on real analytic manifolds

Let $M$ be a real analytic manifold. By $C^{\omega}(M)$ we mean the algebra of all analytic functions from $M$ to $\mathbb{R}$. Assume that $D$ is a derivation on $C^{\omega}(M)$ .
Is there a ...

**3**

votes

**1**answer

147 views

### Real analytic ergodic diffeomorphisms of the two sphere

Does there exists a real analytic area preserving ergodic diffeomorphism on $S^2$?
(Possibly by perturbing a rotation in the real-analytic topology?)

**1**

vote

**0**answers

64 views

### Example of n-parameter family of real-analytic diffeomorphisms acting on $S^3$, constant on the Hopf fibres

I am trying to construct an n-parameter family of measure preserving real analytic diffeomorphisms on $S^3$ which preserves the $S^1$ fibres of the Hopf fibration but acts transitively on the image ...

**2**

votes

**0**answers

72 views

### Lagrangean equations for the generating function of quadrangulations

Let $M(z)$ be the generating function of edge-rooted connected quadrangulations, with $z$ marking the number of edges. I derived the following Lagrangean equations for $M(z)$:
$$M(z) = ...

**0**

votes

**1**answer

65 views

### Examples of Bivariate Analytic, Globally Continuous Functions, whose Set of Zeros are Boundaries of Polygons

Are there any known examples of analytic, globally continuous functions $f(x,y): (x,y)\in\mathbb{R}\times\mathbb{R}\rightarrow\mathbb{R}$ such that
$$f(x,y)\lt 0\Leftrightarrow ...

**39**

votes

**2**answers

1k views

### Is a function with nowhere vanishing derivatives analytic?

My question is the following: Let $f\in C^\infty(a,b)$, such that $f^{(n)}(x)\ne 0$, for every $n\in\mathbb N$, and every $x\in (a,b)$. Does that imply that $f$ is real analytic?
EDIT. According to ...

**8**

votes

**1**answer

795 views

### If $f$ is $C^{\infty}$ and $f^2$ is analytic, then $f$ is analytic

Assume that $f:\mathbb{C}^n\rightarrow \mathbb{C}$ is a $C^{\infty}$ function such that $f^2$ is (complex) analytic. Then one can show that $f$ is analytic. (Note: Liviu Nicolaescu and Alexandre ...

**2**

votes

**2**answers

235 views

### Surjective entire functions without critical points

It is easy to construct surjective locally univalent holomorphic functions $f: {\mathbb D}\to {\mathbb C}$, where ${\mathbb D}$ is the open unit disk.
I am pretty sure that the answer to the ...

**1**

vote

**0**answers

106 views

### Extensibility of real analytic function of several variables to complex domain

My question relates to the extensibility of a real analytic function of several variables to a specific complex domain.
In order to formulate the question, let me define the following complex ...

**2**

votes

**3**answers

205 views

### Analytic perturbation of the eigenvalues/eigenvectors of non-Hermitian matrix

Consider a matrix function $A(x)$, analytically depending on single parameter $x$.
Consider the eigenvalue/eigenvector pair of $A(0)$, namely $\lambda(0)$ and $w(0)$.
The question is whether we can ...

**0**

votes

**0**answers

79 views

### Analytic extension from a closed analytic subset

I have the following question: Let $\Omega \subset \mathbb{R}^{n}$ be an open set and consider $X \subset \Omega$ an analytic subset. By this I mean that there exists analytic functions ...

**6**

votes

**2**answers

334 views

### An extension of Morera's Theorem

Morera's Theorem states that
If $f$ is continuous in a region $D$ and satisfies $\oint_{\gamma} f = 0$ for
any closed curve $\gamma$ in $D$, then $f$ is analytic in $D$.
I have two questions:
...

**3**

votes

**1**answer

185 views

### If $f(x)+f(2x)$ is quasianalytic, is $f(x)$ necessarily quasianalytic?

Assume that $f\in C^{\infty}$ and that $M_n$ is a sequence such that $$\sum_{n=0}^{\infty}\frac{M_n}{(n+1)M_{n+1}}=\infty$$
and for certain compact neighborhood of the origin $U$ of $\mathbb{R}$, ...

**2**

votes

**1**answer

135 views

### Inequality for certain analytic functions

Suppose that $f(z)$ is analytic for $\Re(z)>0$ and it is positive on the real axis. Suppose that for some $y_0$ we have
$$
\left| {f\left( {x + iy} \right)} \right| \le f\left( x \right)
$$
for any ...

**0**

votes

**1**answer

104 views

### analytic solution to elliptic PDE in R^n

I am looking for (minimal) conditions, which guarantee that the problem
Lu = 0 in R^n,
where L is a second-order (uniformly) elliptic operator with analytic coefficients, has a unique global ...

**0**

votes

**1**answer

382 views

### construct a power series with infinitely many zeros in the complex plane, bounded coefficients???

Hi all.
I want to construct a power series $F(z)=\sum_{n=0}^\infty c_nz^n$ centered at zero and with finite radius of convergence in the complex plane, and which has infinitely many zeros (in its ...

**0**

votes

**0**answers

43 views

### Singularity analysis: logarithmic scale with general alpha and integral beta (e.g. harmonic numbers)

I'm trying to do singularity analysis to get coefficient asymptotics on functions of the following type:
$$ (1-z)^{-\alpha} \log^k \frac{1}{1-z} $$
where $ \alpha \notin \mathbb{Z}_{\leq 0} $ ...

**2**

votes

**0**answers

144 views

### Univalent functions with non-negative coefficients

Is anything non-trivial known about univalent functions with non-negative coefficients?
Let $U$ be the unit disc, and $f$ a univalent (=injective) holomorphic function, $f(0)=0$,
$f'(0)>0$. ...

**69**

votes

**16**answers

4k views

### Does Physics need non-analytic smooth functions?

Observing the behaviour of a few physicists "in nature", I had the impression that among the mathematical tools they use a lot (along with possibly much more sofisticated maths, of course), there is ...

**0**

votes

**3**answers

439 views

### Analyticity of the solutions of PDE

Let's consider a (partial) differential equation with analytic coefficients. The initial conditions may be non-analytic*.
Is it possible a solution $f$, which is non-analytic at any point of the ...

**1**

vote

**2**answers

785 views

### Does a bounded real function have an analytic continuation [closed]

Consider the function $f:[0,1]\rightarrow\mathbb{R}$, where
$f$ is real-analytic on the open interval $(0,1)$
$f$ is bounded on the closed interval $[0,1]$ (ie. there is some constant $C$ such that ...

**3**

votes

**4**answers

2k views

### Analytic implicit function theorem

I'm looking for a proof of the analytic implicit function theorem (IFT). The only related proof I could find was the holomorphic inverse function theorem (by Henri Cartan). On Wikipedia, the analytic ...

**2**

votes

**1**answer

358 views

### Integral kernel of form $e^{-<x,y>^2}$

Let $K(x,y): \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$ given by $K(x,y) = e^{-< x,y>^2}$ where $<\cdot,\cdot>$ denote the canonical inner product. Define integral operator ...