Search results for "Inequality"
showing 10 items of 1076 documents
Relaxed Stability and Performance LMI Conditions for Takagi-Sugeno Fuzzy Systems With Polynomial Constraints on Membership Function Shapes
2008
Most linear matrix inequality (LMI) fuzzy control results in literature are valid for any membership function, i.e., independent of the actual membership shape. Hence, they are conservative (with respect to other nonlinear control approaches) when specific knowledge of the shapes is available. This paper presents relaxed LMI conditions for fuzzy control that incorporate such shape information in the form of polynomial constraints, generalizing previous works by the authors. Interesting particular cases are overlap (product) bounds and ellipsoidal regions. Numerical examples illustrate the achieved improvements, as well as the possibilities of solving some multiobjective problems. The result…
Efficient Pruning LMI Conditions for Branch-and-Prune Rank and Chirality-Constrained Estimation of the Dual Absolute Quadric
2014
International audience; We present a new globally optimal algorithm for self- calibrating a moving camera with constant parameters. Our method aims at estimating the Dual Absolute Quadric (DAQ) under the rank-3 and, optionally, camera centers chirality constraints. We employ the Branch-and-Prune paradigm and explore the space of only 5 parameters. Pruning in our method relies on solving Linear Matrix Inequality (LMI) feasibility and Generalized Eigenvalue (GEV) problems that solely depend upon the entries of the DAQ. These LMI and GEV problems are used to rule out branches in the search tree in which a quadric not satisfy- ing the rank and chirality conditions on camera centers is guarantee…
A remark on the radial minimizer of the Ginzburg-Landau functional
2014
Let Omega subset of R-2 be a bounded domain with the same area as the unit disk B-1 and letE-epsilon(u, Omega) = 1/2 integral(Omega) vertical bar del u vertical bar(2) dx + 1/4 epsilon(2) integral(Omega) (vertical bar u vertical bar(2) - 1)(2) dxbe the Ginzburg-Landau functional. Denote by (u) over tilde (epsilon) the radial solution to the Euler equation associated to the problem min {E-epsilon (u, B-1) : u vertical bar(partial derivative B1) = x} and byK = {v = (v(1), v(2)) is an element of H-1 (Omega; R-2) : integral(Omega) v(1) dx = integral(Omega) v(2) dx = 0,integral(Omega) vertical bar v vertical bar(2) dx >= integral(B1) vertical bar(u) over tilde vertical bar(2) dx}.In this note…
Loomis-Whitney inequalities in Heisenberg groups
2021
This note concerns Loomis-Whitney inequalities in Heisenberg groups $\mathbb{H}^n$: $$|K| \lesssim \prod_{j=1}^{2n}|\pi_j(K)|^{\frac{n+1}{n(2n+1)}}, \qquad K \subset \mathbb{H}^n.$$ Here $\pi_{j}$, $j=1,\ldots,2n$, are the vertical Heisenberg projections to the hyperplanes $\{x_j=0\}$, respectively, and $|\cdot|$ refers to a natural Haar measure on either $\mathbb{H}^n$, or one of the hyperplanes. The Loomis-Whitney inequality in the first Heisenberg group $\mathbb{H}^1$ is a direct consequence of known $L^p$ improving properties of the standard Radon transform in $\mathbb{R}^2$. In this note, we show how the Loomis-Whitney inequalities in higher dimensional Heisenberg groups can be deduced…
Semianalyticity of isoperimetric profiles
2009
It is shown that, in dimensions $<8$, isoperimetric profiles of compact real analytic Riemannian manifolds are semi-analytic.
Differentiability of the isoperimetric profile and topology of analytic Riemannian manifolds
2012
Abstract We show that smooth isoperimetric profiles are exceptional for real analytic Riemannian manifolds. For instance, under some extra assumptions, this can happen only on topological spheres. To cite this article: R. Grimaldi et al., C. R. Acad. Sci. Paris, Ser. I 347 (2009).
Harnack estimates for degenerate parabolic equations modeled on the subelliptic $p-$Laplacian
2014
Abstract We establish a Harnack inequality for a class of quasi-linear PDE modeled on the prototype ∂ t u = − ∑ i = 1 m X i ⁎ ( | X u | p − 2 X i u ) where p ⩾ 2 , X = ( X 1 , … , X m ) is a system of Lipschitz vector fields defined on a smooth manifold M endowed with a Borel measure μ, and X i ⁎ denotes the adjoint of X i with respect to μ. Our estimates are derived assuming that (i) the control distance d generated by X induces the same topology on M ; (ii) a doubling condition for the μ-measure of d-metric balls; and (iii) the validity of a Poincare inequality involving X and μ. Our results extend the recent work in [16] , [36] , to a more general setting including the model cases of (1)…
Interpolated measures with bounded density in metric spaces satisfying the curvature-dimension conditions of Sturm
2011
We construct geodesics in the Wasserstein space of probability measure along which all the measures have an upper bound on their density that is determined by the densities of the endpoints of the geodesic. Using these geodesics we show that a local Poincar\'e inequality and the measure contraction property follow from the Ricci curvature bounds defined by Sturm. We also show for a large class of convex functionals that a local Poincar\'e inequality is implied by the weak displacement convexity of the functional.
Gradient estimates for heat kernels and harmonic functions
2020
Let $(X,d,\mu)$ be a doubling metric measure space endowed with a Dirichlet form $\E$ deriving from a "carr\'e du champ". Assume that $(X,d,\mu,\E)$ supports a scale-invariant $L^2$-Poincar\'e inequality. In this article, we study the following properties of harmonic functions, heat kernels and Riesz transforms for $p\in (2,\infty]$: (i) $(G_p)$: $L^p$-estimate for the gradient of the associated heat semigroup; (ii) $(RH_p)$: $L^p$-reverse H\"older inequality for the gradients of harmonic functions; (iii) $(R_p)$: $L^p$-boundedness of the Riesz transform ($p<\infty$); (iv) $(GBE)$: a generalised Bakry-\'Emery condition. We show that, for $p\in (2,\infty)$, (i), (ii) (iii) are equivalent, wh…
Pointwise inequalities for Sobolev functions on generalized cuspidal domains
2022
We establish point wise inequalities for Sobolev functions on a wider class of outward cuspidal domains. It is a generalization of an earlier result by the author and his collaborators