SearcharxivSearch

arXiv subjects

Alberto Fiorenza

Publications and source records attributed to Alberto Fiorenza.

17 recordsLinked to original sources

A Fixed-Point Construction of the Elementary Transcendental Functions

We present a unified fixed-point construction of the elementary transcendental functions, encompassing the real exponential, the complex exponential (sine and cosine), and the natural logarithm. Each function is characterized as the unique solution of a duplication identity established through the Banach contraction principle. These foundational identities are $e(2x)=e^2(x)$ for the exponentials, and $\log(x^{2})=2\log x$ for the logarithm. Because a direct iteration of these identities is numerically unstable, owing to local expansiveness at the target, the central idea transfers the analysis to a residual function, on which the operator becomes a strict contraction with an explicit convergence rate. Beyond its theoretical economy, which dispenses with differential equations and power series, this characterization translates into efficient algorithms for the machine evaluation of elementary functions: the underlying framework yields floating-point kernels whose accuracy and iteration depth are governed by the theoretical contraction rate. We also present a computational study showing that, in a throughput-bound vectorized regime, these kernels are competitive with standard production libraries, and in favorable configurations exceed them, with the sine--cosine kernel faster at every tested iteration depth. These implementations operate without lookup tables or memory traffic, an architectural advantage for modern high-performance and energy-efficient computing.

math.CA

Applications of Interpolation theory to the regularity of some equasilinear PDEs

We present some regularity results on the gradient of the weak or entropic-renormalized solution $u$ to the homogeneous Dirichlet problem for the quasilinear equations of the form \begin{equation*}\label{p-laplacian_eq} -{\rm div~}(|\nabla u|^{p-2}\nabla u)+V(x;u)=f, \end{equation*} where $\Omega$ is a bounded smooth domain of $\mathbb R^n$, $V$ is a nonlinear potential and $f$ belongs to non-standard spaces like Lorentz-Zygmund spaces. Moreover, we collect some well-known and new results for identifying some interpolation spaces and enrich some contents with details.

math.AP

A generalized version of Holmstedt's formula for the K-functional

Let $(A_0, A_1)$ be a compatible couple of quasi-normed spaces, and let $\Phi_0$ and $\Phi_1$ be two general parameters of $K$-interpolation method. We compute $K$-functional for the couple $((A_0,A_1)_{\Phi_0}, (A_0, A_1)_{\Phi_1})$ in terms of $K$-functional for the couple $(A_0, A_1)$.

math.FA

A modular Poincar\'e-Wirtinger type inequality on Lipschitz domains for Sobolev spaces with variable exponents

In the context of Sobolev spaces with variable exponents, Poincar\'e--Wirtinger inequalities are possible as soon as Luxemburg norms are considered. On the other hand, modular versions of the inequalities in the expected form \begin{equation*} \int_\Omega \left|f(x)-\langle f\rangle_{\Omega}\right|^{p(x)} \ {\mathrm{d} x} \leqslant C \int_\Omega|\nabla f(x)|^{p(x)}{\mathrm{d} x}, \end{equation*} are known to be \emph{false}. As a result, all available modular versions of the Poincar\'e- Wirtinger inequality in the variable-exponent setting always contain extra terms that do not disappear in the constant exponent case, preventing such inequalities from reducing to the classical ones in the constant exponent setting. Our contribution is threefold. First, we establish that a modular Poincar\'e--Wirtinger inequality particularizing to the classical one in the constant exponent case is indeed conceivable. We show that if $\Omega\subset \mathbb{R}^n$ is a bounded Lipschitz domain, and if $p\in L^\infty(\Omega)$, $p \geq 1$, then for every $f\in C^\infty(\bar\Omega)$ the following generalized Poincar\'e--Wirtinger inequality holds \begin{equation*} \int_\Omega \left|f(x)-\langle f\rangle_{\Omega}\right|^{p(x)} \ {\mathrm{d} x} \leq C \int_\Omega\int_\Omega \frac{|\nabla f(z)|^{p(x)}}{|z-x|^{n-1}}\ {\mathrm{d} z}{\mathrm{d} x}, \end{equation*} where $\langle f\rangle_{\Omega}$ denotes the mean of $f$ over $\Omega$, and $C>0$ is a positive constant depending only on $\Omega$ and $\|p\|_{L^\infty(\Omega)}$. Second, our argument is concise and constructive and does not rely on compactness results. Third, we additionally provide geometric information on the best Poincar\'e--Wirtinger constant on Lipschitz domains.

math.AP

Quasilinear P.D.Es, Interpolation spaces and H\"olderian mappings

As in the work of Tartar ( Tartar L. Interpolation non lin\'eaire et r\'egularit\'e, 9, Journal of Functional Analysis, (1972), 469-489) we developed here some new results on non linear interpolation of $\alpha$-H\"olderian mappings between normed spaces, namely, by studying the action of the mappings on $K$-functionals and between interpolation spaces with logarithm functors. We apply those results to obtain regularity results on the gradient of the solution to quasilinear equations of the form $$-div(\widehat a(\nabla u ))+V(u)=f, $$ whenever $V$ is a nonlinear potential, $f$ belongs to non standard spaces as Lorentz-Zygmund spaces. We show among other that the mapping $T: \ Tf=\nabla u$ is locally or globally $\alpha$-H\"olderian under suitable values of $\alpha$ and adequate hypothesis on $V$ and $\widehat a.$

math.AP

Holmstedt's formula for the $K$-functional: the limit case $\theta_0=\theta_1$

We consider $K$-interpolation spaces involving slowly varying functions, and derive necessary and sufficient conditions for a Holmstedt-type formula to be held in the limiting case $\theta_0=\theta_1\in\{0,1\}.$ We also study the case $\theta_0=\theta_1\in (0,1).$ Applications are given to Lorentz-Karamata spaces, generalized gamma spaces and Besov spaces.

math.FA

On symmetry of energy minimizing harmonic-type maps on cylindrical surfaces

The paper concerns the analysis of global minimizers of a Dirichlet-type energy functional in the class of $\mathbb{S}^2$-valued maps defined in cylindrical surfaces. The model naturally arises as a curved thin-film limit in the theories of nematic liquid crystals and micromagnetics. We show that minimal configurations are $z$-invariant and that energy minimizers in the class of weakly axially symmetric competitors are, in fact, axially symmetric. Our main result is a family of sharp Poincar\'e-type inequality on the circular cylinder, which allows establishing a nearly complete picture of the energy landscape. The presence of symmetry-breaking phenomena is highlighted and discussed. Finally, we provide a complete characterization of in-plane minimizers, which typically appear in numerical simulations for reasons we explain.

math.AP

A unified divergent approach to Hardy-Poincar\'e inequalities in classical and variable Sobolev spaces

We present a unified strategy to derive Hardy-Poincar\'e inequalities on bounded and unbounded domains. The approach allows proving a general Hardy-Poincar\'e inequality from which the classical Poincar\'e and Hardy inequalities immediately follow. The idea also applies to the more general context of variable exponent Sobolev spaces. The argument, concise and constructive, does not require a priori knowledge of compactness results and retrieves geometric information on the best constants.

math.AP

Boundedness of Dunkl-Hausdorff operator in Lebesgue spaces

In this paper, the $L^p_v(\R)$-boundedness of the Dunkl-Hausdorff operator $\displaystyle H_{\al,\phi} f(x)=\ent\frac{ |\phi(t)|}{|t|^{2\al+2}}f\lf(\frac{x}{t}\rh) dt $ has been characterized and for a certain type of weight $v$, the precise value of the norm $\|H_{\al,\phi}\|_{L^p_v(\R)\to L^p_v(\R)}$ has been obtained. This covers several of the existing results. Analogous results in two dimensions have also been proved.

math.FA

Detailed proof of classical Gagliardo-Nirenberg interpolation inequality with historical remarks

A carefully written Nirenberg's proof of the well known Gagliardo-Nirenberg interpolation inequality for intermediate derivatives in $\mathbb{R}^n$ seems, surprisingly, to be missing in literature. In our paper we shall first introduce this fundamental result and provide information about it's historical background. Afterwards we present a complete, student-friendly proof. In our proof we use the architecture of Nirenberg's proof, the proof is, however, much more detailed, containing also some differences. The reader can find a short comparison of differences and similarities in the final chapter.

math.FA

Gagliardo-Nirenberg Inequality for rearrangement-invariant Banach function spaces

The classical Gagliardo-Nirenberg interpolation inequality is a well-known estimate which gives, in particular, an estimate for the Lebesgue norm of intermediate derivatives of functions in Sobolev spaces. We present an extension of this estimate into the scale of the general rearrangement-invariant Banach function spaces with the proof based on the Maz'ya's pointwise estimates. As corollaries, we present the Gagliardo--Nirenberg inequality for intermediate derivatives in the case of triples of Orlicz spaces and triples of Lorentz spaces. Finally, we promote the scaling argument to validate the optimality of the Gagliardo-Nirenberg inequality and show that the presented estimate in Orlicz scale is optimal.

math.FA

Interpolation of nonlinear positive or order preserving operators on Banach lattices

We study the relationship between exact interpolation spaces for positive, linear operators, for order preserving, Lipschitz continuous operators, and for positive Gagliardo-Peetre operators, and exact partially $K$-monotone spaces in interpolation couples of compatible Banach lattices. By general Banach lattice theory we recover a characterisation of exact interpolation spaces for order preserving, Lipschitz continuous operators in the couple $(L^1,L^\infty )$ due to B\'enilan and Crandall.

math.FA

Modular inequalities for the maximal operator in variable Lebesgue spaces

A now classical result in the theory of variable Lebesgue spaces due to Lerner [A. K. Lerner, On modular inequalities in variable $L^p$ spaces, Archiv der Math. 85 (2005), no. 6, 538-543] is that a modular inequality for the Hardy-Littlewood maximal function in $L^{p(\cdot)}(\mathbb{R}^n)$ holds if and only if the exponent is constant. We generalize this result and give a new and simpler proof. We then find necessary and sufficient conditions for the validity of the weaker modular inequality \[ \int_\Omega Mf(x)^{p(x)}\,dx \ \leq c_1 \int_\Omega |f(x)|^{q(x)}\,dx + c_2, \] where $c_1,\,c_2$ are non-negative constants and $\Omega$ is any measurable subset of $\mathbb{R}^n$. As a corollary we get sufficient conditions for the modular inequality \[ \int_\Omega |Tf(x)|^{p(x)}\,dx \ \leq c_1 \int_\Omega |f(x)|^{q(x)}\,dx + c_2, \] where $T$ is any operator that is bounded on $L^p(\Omega)$, $1<p<\infty$.

math.CA

Embeddings between grand, small and variable Lebesgue spaces

We give conditions on the exponent function $p(\cdot)$ that imply the existence of embeddings between grand, small and variable Lebesgue spaces. We construct examples to show that our results are close to optimal. Our work extends recent results by the second author, Rakotoson and Sbordone.

math.CA

The action of Volterra integral operators with highly singular kernels on H\"older continuous, Lebesgue and Sobolev functions

For kernels $\nu$ which are positive and integrable we show that the operator $g\mapsto J_\nu g=\int_0^x \nu(x-s)g(s)ds$ on a finite time interval enjoys a regularizing effect when applied to H\"older continuous and Lebesgue functions and a "contractive" effect when applied to Sobolev functions. For H\"older continuous functions, we establish that the improvement of the regularity of the modulus of continuity is given by the integral of the kernel, namely by the factor $N(x)=\int_0^x \nu(s)ds$. For functions in Lebesgue spaces, we prove that an improvement always exists, and it can be expressed in terms of Orlicz integrability. Finally, for functions in Sobolev spaces, we show that the operator $J_\nu$ "shrinks" the norm of the argument by a factor that, as in the H\"older case, depends on the function $N$ (whereas no regularization result can be obtained). These results can be applied, for instance, to Abel kernels and to the Volterra function $\mathcal{I}(x) = \mu(x,0,-1) = \int_{0}^{\infty}x^{s-1}/\Gamma(s)\,ds$, the latter being relevant for instance in the analysis of the Schr\"odinger equation with concentrated nonlinearities in $\mathbb{R}^{2}$.

math.AP

Some estimates for imaginary powers of the Laplace operator in variable Lebesgue spaces and applications

In this paper we study some estimates of norms in variable exponent Lebesgue spaces for a singular integral operators that are imaginary powers of the Laplace operator in $\R^n$. Using Mellin transform argument, from this estimates we obtain boundedness for a family of maximal operators in variable exponent Lebesgue spaces, which are closely related to the (weak) solution of the wave equation.42B25, 42B20, 46E30, 44A10, 42B10, 35L05

math.AP