Search results for "Function"
showing 10 items of 14432 documents
Thin obstacle problem : Estimates of the distance to the exact solution
2018
We consider elliptic variational inequalities generated by obstacle type problems with thin obstacles. For this class of problems, we deduce estimates of the distance (measured in terms of the natural energy norm) between the exact solution and any function that satisfies the boundary condition and is admissible with respect to the obstacle condition (i.e., they are valid for any approximation regardless of the method by which it was found). Computation of the estimates does not require knowledge of the exact solution and uses only the problem data and an approximation. The estimates provide guaranteed upper bounds of the error (error majorants) and vanish if and only if the approximation c…
Melnikov functions and Bautin ideal
2001
The computation of the number of limit cycles which appear in an analytic unfolding of planar vector fields is related to the decomposition of the displacement function of this unfolding in an ideal of functions in the parameter space, called the Ideal of Bautin. On the other hand, the asymptotic of the displacement function, for 1-parameter unfoldings of hamiltonian vector fields is given by Melnikov functions which are defined as the coefficients of Taylor expansion in the parameter. It is interesting to compare these two notions and to study if the general estimations of the number of limit cycles in terms of the Bautin ideal could be reduced to the computations of Melnikov functions for…
Adaptive rational interpolation for point values
2019
Abstract G. Ramponi et al. introduced in Carrato et al. (1997,1998), Castagno and Ramponi (1996) and Ramponi (1995) a non linear rational interpolator of order two. In this paper we extend this result to get order four. We observe the Gibbs phenomenon that is obtained near discontinuities with its weights. With the weights we propose we obtain approximations of order four in smooth regions and three near discontinuities. We also introduce a rational nonlinear extrapolation which is also of order four in the smooth region of the given function. In the experiments we calculate numerically approximation orders for the different methods described in this paper and see that they coincide with th…
A generalized Newton iteration for computing the solution of the inverse Henderson problem
2020
We develop a generalized Newton scheme IHNC for the construction of effective pair potentials for systems of interacting point-like particles.The construction is made in such a way that the distribution of the particles matches a given radial distribution function. The IHNC iteration uses the hypernetted-chain integral equation for an approximate evaluation of the inverse of the Jacobian of the forward operator. In contrast to the full Newton method realized in the Inverse Monte Carlo (IMC) scheme, the IHNC algorithm requires only a single molecular dynamics computation of the radial distribution function per iteration step, and no further expensive cross-correlations. Numerical experiments…
Isoperimetric inequality via Lipschitz regularity of Cheeger-harmonic functions
2014
Abstract Let ( X , d , μ ) be a complete, locally doubling metric measure space that supports a local weak L 2 -Poincare inequality. We show that optimal gradient estimates for Cheeger-harmonic functions imply local isoperimetric inequalities.
Singular integrals on regular curves in the Heisenberg group
2019
Let $\mathbb{H}$ be the first Heisenberg group, and let $k \in C^{\infty}(\mathbb{H} \, \setminus \, \{0\})$ be a kernel which is either odd or horizontally odd, and satisfies $$|\nabla_{\mathbb{H}}^{n}k(p)| \leq C_{n}\|p\|^{-1 - n}, \qquad p \in \mathbb{H} \, \setminus \, \{0\}, \, n \geq 0.$$ The simplest examples include certain Riesz-type kernels first considered by Chousionis and Mattila, and the horizontally odd kernel $k(p) = \nabla_{\mathbb{H}} \log \|p\|$. We prove that convolution with $k$, as above, yields an $L^{2}$-bounded operator on regular curves in $\mathbb{H}$. This extends a theorem of G. David to the Heisenberg group. As a corollary of our main result, we infer that all …
Conformal measures for multidimensional piecewise invertible maps
2001
Given a piecewise invertible map T:X\to X and a weight g:X\rightarrow\ ]0,\infty[ , a conformal measure \nu is a probability measure on X such that, for all measurable A\subset X with T:A\to TA invertible, \nu(TA)= \lambda \int_{A}\frac{1}{g}\ d\nu with a constant \lambda>0 . Such a measure is an essential tool for the study of equilibrium states. Assuming that the topological pressure of the boundary is small, that \log g has bounded distortion and an irreducibility condition, we build such a conformal measure.
Quasisymmetric spheres over Jordan domains
2015
Let $\Omega$ be a planar Jordan domain. We consider double-dome-like surfaces $\Sigma$ defined by graphs of functions of $dist( \cdot ,\partial \Omega)$ over $\Omega$. The goal is to find the right conditions on the geometry of the base $\Omega$ and the growth of the height so that $\Sigma$ is a quasisphere, or quasisymmetric to $\mathbb{S}^2$. An internal uniform chord-arc condition on the constant distance sets to $\partial \Omega$, coupled with a mild growth condition on the height, gives a close-to-sharp answer. Our method also produces new examples of quasispheres in $\mathbb{R}^n$, for any $n\ge 3$.
The Liouville theorem and linear operators satisfying the maximum principle
2020
A result by Courr\`ege says that linear translation invariant operators satisfy the maximum principle if and only if they are of the form $\mathcal{L}=\mathcal{L}^{\sigma,b}+\mathcal{L}^\mu$ where $$ \mathcal{L}^{\sigma,b}[u](x)=\text{tr}(\sigma \sigma^{\texttt{T}} D^2u(x))+b\cdot Du(x) $$ and $$ \mathcal{L}^\mu[u](x)=\int \big(u(x+z)-u-z\cdot Du(x) \mathbf{1}_{|z| \leq 1}\big) \,\mathrm{d} \mu(z). $$ This class of operators coincides with the infinitesimal generators of L\'evy processes in probability theory. In this paper we give a complete characterization of the translation invariant operators of this form that satisfy the Liouville theorem: Bounded solutions $u$ of $\mathcal{L}[u]=0$ i…