Related papers: A strong version of implicit function theorem
In this work we define operator-valued Fourier transforms for suitable integrable elements with respect to the Plancherel weight of a (not necessarily Abelian) locally compact group. Our main result is a generalized version of the Fourier…
For each $n=1,2,\dots$, let $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$ be the affine group over the integers. For every point $x=(x_1,\dots,x_n) \in \mathbb{R}^n$ let $\mathrm{orb}(x)=\{\gamma(x)\in \mathbb{R}^n\mid\gamma\in…
We consider families F of sequences converging to +infinity that F satisfies the following condition (C): (C): if an open set U in the real line is unbounded above then there exists a sequence belonging to F, which has an infinite number of…
Bochner's theorem characterizes positive definite functions on groups through the positivity of their Fourier transforms and plays a fundamental role in Harmonic analysis. While Bochner-type results are known for certain classes of…
We will present an estimation of the $H_{k_{0},k_{r}}^{q}f$ $\ $and $% H_{u}^{\lambda \varphi}f$ means as a approximation versions \ of \ the Totik type generalization$(\text{see \cite{11, 12}}) $ \ of the results of \ J. Marcinkiewicz and…
We give a series of very general sufficient conditions in order to ensure the uniqueness of large solutions for --$\Delta$u + f (x, u) = 0 in a bounded domain $\Omega$ where f : $\Omega$ x R $\rightarrow$ R + is a continuous function, such…
We introduce a concept of a quasi proximate order which is a generalization of a proximate order and allows us to study efficiently analytic functions whose order and lower order of growth are different. We prove an existence theorem of a…
We present variants of Goodstein's theorem that are equivalent to arithmetical comprehension and to arithmetical transfinite recursion, respectively, over a weak base theory. These variants differ from the usual Goodstein theorem in that…
New sufficient conditions for representation of a function via the absolutely convergent Fourier integral are obtained in the paper. In the main result, Theorem 1.1, this is controlled by the behavior near infinity of both the function and…
Results providing conditions on a family of integro-differential operators to determine a formal automorphism are established. Equivalently, the problem can be read in terms of existence and uniqueness of formal solutions of Cauchy problems…
Let $k$ be a commutative Noetherian ring, and $k[S]$ the polynomial ring whose indeterminates are parameterized by elements in a set $S$. We show that $k[S]$ is Noetherian up to highly homogenous actions of groups. In particular, there is a…
Lifting theorems are theorems that bound the communication complexity of a composed function $f\circ g^{n}$ in terms of the query complexity of $f$ and the communication complexity of $g$. Such theorems constitute a powerful generalization…
We develop a formal group--theoretic framework for the Riemann zeta function by treating its Euler product as an element of the multiplicative formal group $\widehat{\mathbb{G}}_m$ and its logarithm as the associated formal group logarithm.…
In this paper, we study the consequences of the fundamental theorem of calculus from an algebraic point of view. For functions with singularities, this leads to a generalized notion of evaluation. We investigate properties of such…
The forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is everything that holds in a generic extension is forced by a…
Consider an arbitrary complex-valued, twice continuously differentiable, nonvanishing function $\phi$ defined on a finite segment $[a,b]\subset \mathbb{R}$. Let us introduce an infinite system of functions constructed in the following way.…
We define a class $\mathcal{U}$ of solvable groups of finite abelian section rank which includes all such groups that are virtually torsion-free as well as those that are finitely generated. Assume that $G$ is a group in $\mathcal{U}$ and…
We prove model completeness for the theory of addition and the Frobenius map for certain subrings of rational functions in positive characteristic. More precisely: Let $p$ be a prime number, $\mathbb{F}_{p}$ the prime field with $p$…
Let $\Omega^o$ and $\Omega^i$ be open bounded subsets of $\mathbb{R}^n$ of class $C^{1,\alpha}$ such that the closure of $\Omega^i$ is contained in $\Omega^o$. Let $f^o$ be a function in $C^{1,\alpha}(\partial\Omega^o)$ and let $F$ and $G$…
We consider the vector space $E_{\rho,p}$ of entire functions of finite order, whose types are not more than $p>0$, endowed with Frechet topology, which is generated by a sequence of weighted norms. We call a function $f\in E_{\rho,p}$ {\it…