Related papers: $C^r$-right equivalence of analytic functions

We find all pairs of real analytic functions $f$ and $g$ in $\bbR^n$ such that $|\nabla f|=|\nabla g|$ and $(\nabla f)(\nabla g)=0$.

Let $f,g:(\mathbb{R}^n,0)\rightarrow (\mathbb{R},0)$ be $C^{r+1}$ functions, $r\in \mathbb{N}$. We will show that if $\nabla f(0)=0$ and there exist a neigbourhood $U$ of $0\in \mathbb{R}^n$ and a constant $C>0$ such that $$…

We consider the ring of real analytic functions defined on $[0,1]$, i.e. $$C^{\omega}[0,1] =\lbrace f :[0,1] \longrightarrow \mathbb{R} | f \text{ is analytic on } [0,1]\rbrace$$ In this article, we explore the nature of ideals in this…

In a previous paper, we provided a formal definition for the concept of computational irreducibility (CIR), i.e. the fact for a function f from N to N that it is impossible to compute f(n) without following approximately the same path than…

Let X be a separable Banach space which admits a separating polynomial; in particular X a separable Hilbert space. Let $f:X \rightarrow R$ be bounded, Lipschitz, and $C^1$ with uniformly continuous derivative. Then for each {\epsilon}>0,…

Properties of the mappings \begin{align*} C&\mapsto\frac1{(2\pi i)^2}\int_{\Gamma_1}\int_{\Gamma_2}f(\lambda,\mu)\,R_{1,\,\lambda}\,C\, R_{2,\,\mu}\,d\mu\,d\lambda, C&\mapsto\frac1{2\pi i}\int_{\Gamma}g(\lambda)R_{1,\,\lambda}\,C\,…

Let $f$ be the germ of a real analytic function at the origin in $\mathbb{R}^n $ for $n \geq 2$, and suppose the codimension of the zero set of $f$ at $\mathbf{0}$ is at least $2$. We show that $\log |f|$ is $W^{1,1}_{\operatorname{loc}}$…

For $-1\le B<A\le 1$, let $\mathcal{S}^*(A,B)$ denote the class of normalized analytic functions $f(z)= z+\sum_{n=2}^{\infty}a_n z^n$ in $|z|<1$ which satisfy the subordination relation $zf'(z)/f(z)\prec (1+Az)/(1+Bz)$ and $\Sigma^*(A,B)$…

Let $X$ be a separable real Hilbert space. We show that for every Lipschitz function $f:X\rightarrow\mathbb{R}$, and for every $\epsilon>0$, there exists a Lipschitz, real analytic function $g:X\rightarrow\mathbb{R}$ such that…

By Hironaka Desingularization Theorem, any real analytic function has only normal crossing singularities after a suitable modification. We focus on the analytic equivalence of such functions with only normal crossing singularities. We prove…

We show that two analytic function germs $(\C^2,0) \to (\C,0)$ are topologically right equivalent if and only if there is a one-to-one correspondence between the irreducible components of their zero sets that preserves the multiplicites of…

Let C be real-analytic simple closed curve in the complex plane which is symmetric with respect to the real axis. Let r>0 be such that C+ir misses C-ir. We prove that if a continuous function f extends holomorphically from C+it for each t…

Consider all possible ways of attaching disjoint chords to two ordered and oriented disjoint intervals so as to produce a connected graph. Taking the intervals to lie in the real axis with the induced orientation and the chords to lie in…

We characterize those modulus functions $f$ for which the ideal generated by $f$ is equal to the statistical ideal.

This paper addresses to Nichtnegativstellens\"atze for definable functions in o-minimal structures on $(\mathbb{R}, +, \cdot).$ Namely, let $f, g_1, \ldots, g_l \colon \mathbb{R}^n \to \mathbb{R}$ be definable $C^p$-functions ($p \ge 2$)…

Suppose that $h$ and $g$ belong to the algebra $\B$ generated by the rational functions and an entire function $f$ of finite order on ${\Bbb C}^n$ and that $h/g$ has algebraic polar variety. We show that either $h/g\in\B$ or $f=q_1e^p+q_2$,…

Let $f(z)=\sum_{n=0}^{+\infty} a_nz^n$\ $(z\in\mathbb{C})$\ be an analytic function in the unit disk and $f_t$ be an analytic function of the form $f_t(z)=\sum_{n=0}^{+\infty} a_ne^{i\theta_nt}z^n,$ where $t\in\mathbb{R},$…

Let $\mathcal{A}$ denote the class of analytic functions in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:|z|<1\}$ satisfying $f(0)=0$ and $f'(0)=1$. Let $\mathcal{U}$ be the class of functions $f\in\mathcal{A}$ satisfying…

Let $G$ be a graph. A good function is a function $f:V(G)\rightarrow \{-1,1\}$, satisfying $f(N(v))\geq 1$, for each $v\in V(G)$, where $ N(v)=\{u\in V(G)\, |\, uv\in E(G) \} $ and $f(S) = \sum_{u\in S} f(u)$ for every $S \subseteq V(G) $.…

Having a function $f$ and a set of functionals $\{\mathcal{C}_{n}\}$, $c_n^f \equiv \mathcal{C}_n \left(f\right)$, one can interpret function approximation very generally as a construction of some function $\mathcal{A}_{N}^{f}$ such that…