Search results for "lower bound"

showing 10 items of 269 documents

A note on the Schur multiplier of a nilpotent Lie algebra

2011

For a nilpotent Lie algebra $L$ of dimension $n$ and dim$(L^2)=m$, we find the upper bound dim$(M(L))\leq {1/2}(n+m-2)(n-m-1)+1$, where $M(L)$ denotes the Schur multiplier of $L$. In case $m=1$ the equality holds if and only if $L\cong H(1)\oplus A$, where $A$ is an abelian Lie algebra of dimension $n-3$ and H(1) is the Heisenberg algebra of dimension 3.

Pure mathematicsAlgebra and Number TheoryDimension (graph theory)Schur multiplier nilpotent Lie algebrasMathematics - Rings and AlgebrasUpper and lower boundsNilpotent Lie algebraSettore MAT/02 - Algebra17B30 17B60 17B99Rings and Algebras (math.RA)Lie algebraFOS: MathematicsSettore MAT/03 - GeometriaAlgebra over a fieldAbelian groupMathematicsSchur multiplier
researchProduct

A priori bounds and multiplicity of solutions for an indefinite elliptic problem with critical growth in the gradient

2019

Let $\Omega \subset \mathbb R^N$, $N \geq 2$, be a smooth bounded domain. We consider a boundary value problem of the form $$-\Delta u = c_{\lambda}(x) u + \mu(x) |\nabla u|^2 + h(x), \quad u \in H^1_0(\Omega)\cap L^{\infty}(\Omega)$$ where $c_{\lambda}$ depends on a parameter $\lambda \in \mathbb R$, the coefficients $c_{\lambda}$ and $h$ belong to $L^q(\Omega)$ with $q>N/2$ and $\mu \in L^{\infty}(\Omega)$. Under suitable assumptions, but without imposing a sign condition on any of these coefficients, we obtain an a priori upper bound on the solutions. Our proof relies on a new boundary weak Harnack inequality. This inequality, which is of independent interest, is established in the gener…

Pure mathematicsApplied MathematicsGeneral Mathematics010102 general mathematicsMultiplicity (mathematics)01 natural sciencesUpper and lower bounds010101 applied mathematicsMathematics - Analysis of PDEsBounded functionFOS: MathematicsA priori and a posteriori[MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP]Boundary value problem0101 mathematicsComputingMilieux_MISCELLANEOUSAnalysis of PDEs (math.AP)35A23 35B45 35J25 35J92Harnack's inequalityMathematics
researchProduct

Devroye Inequality for a Class of Non-Uniformly Hyperbolic Dynamical Systems

2005

In this paper, we prove an inequality, which we call "Devroye inequality", for a large class of non-uniformly hyperbolic dynamical systems (M,f). This class, introduced by L.-S. Young, includes families of piece-wise hyperbolic maps (Lozi-like maps), scattering billiards (e.g., planar Lorentz gas), unimodal and H{\'e}non-like maps. Devroye inequality provides an upper bound for the variance of observables of the form K(x,f(x),...,f^{n-1}(x)), where K is any separately Holder continuous function of n variables. In particular, we can deal with observables which are not Birkhoff averages. We will show in \cite{CCS} some applications of Devroye inequality to statistical properties of this class…

Pure mathematicsClass (set theory)[MATH.MATH-PR] Mathematics [math]/Probability [math.PR]Dynamical systems theoryLorentz transformation[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS][ MATH.MATH-DS ] Mathematics [math]/Dynamical Systems [math.DS]General Physics and AstronomyHölder condition[MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS]Of the formDynamical Systems (math.DS)01 natural sciencesUpper and lower bounds010104 statistics & probabilitysymbols.namesakeFOS: Mathematics0101 mathematicsMathematics - Dynamical SystemsMathematical PhysicsMathematicsApplied Mathematics010102 general mathematicsProbability (math.PR)Statistical and Nonlinear PhysicsObservableFunction (mathematics)[MATH.MATH-PR]Mathematics [math]/Probability [math.PR]symbols[ MATH.MATH-PR ] Mathematics [math]/Probability [math.PR]Mathematics - Probability
researchProduct

Sharp Poincaré inequalities in a class of non-convex sets

2018

Let $gamma$ be a smooth, non-closed, simple curve whose image is symmetric with respect to the $y$-axis, and let $D$ be a planar domain consisting of the points on one side of $gamma$, within a suitable distance $delta$ of $gamma$. Denote by $mu_1^{odd}(D)$ the smallest nontrivial Neumann eigenvalue having a corresponding eigenfunction that is odd with respect to the $y$-axis. If $gamma$ satisfies some simple geometric conditions, then $mu_1^{odd}(D)$ can be sharply estimated from below in terms of the length of $gamma$ , its curvature, and $delta$. Moreover, we give explicit conditions on $delta$ that ensure $mu_1^{odd}(D)=mu_1(D)$. Finally, we can extend our bound on $mu_1^{odd}(D)$ to a …

Pure mathematicsClass (set theory)non-convex domainsInequalitymedia_common.quotation_subjectRegular polygonStatistical and Nonlinear Physicssymbols.namesakeSettore MAT/05 - Analisi MatematicaPoincaré conjecturesymbolsNeumann eigenvalueGeometry and Topologylower boundMathematical Physicsmedia_commonMathematics
researchProduct

Global fixed point proof of time-dependent density-functional theory

2011

We reformulate and generalize the uniqueness and existence proofs of time-dependent density-functional theory. The central idea is to restate the fundamental one-to-one correspondence between densities and potentials as a global fixed point question for potentials on a given time-interval. We show that the unique fixed point, i.e. the unique potential generating a given density, is reached as the limiting point of an iterative procedure. The one-to-one correspondence between densities and potentials is a straightforward result provided that the response function of the divergence of the internal forces is bounded. The existence, i.e. the v-representability of a density, can be proven as wel…

Pure mathematicsCondensed Matter - Materials ScienceQuantum PhysicsAtomic Physics (physics.atom-ph)Materials Science (cond-mat.mtrl-sci)FOS: Physical sciencesGeneral Physics and AstronomyExistence theorem02 engineering and technologyFunction (mathematics)Fixed point021001 nanoscience & nanotechnologyMathematical proof01 natural sciencesUpper and lower boundsPhysics - Atomic PhysicsUniqueness theorem for Poisson's equationBounded function0103 physical sciencesUniquenessQuantum Physics (quant-ph)010306 general physics0210 nano-technologyMathematics
researchProduct

On the slope of hyperelliptic fibrations with positive relative irregularity

2016

Let $f:\, S \to B$ be a locally non-trivial relatively minimal fibration of hyperelliptic curves of genus $g\geq 2$ with relative irregularity $q_f$. We show a sharp lower bound on the slope $\lambda_f$ of $f$. As a consequence, we prove a conjecture of Barja and Stoppino on the lower bound of $\lambda_f$ as an increasing function of $q_f$ in this case, and we also prove a conjecture of Xiao on the ampleness of the direct image of the relative canonical sheaf if $\lambda_f<4$.

Pure mathematicsConjectureApplied MathematicsGeneral MathematicsImage (category theory)010102 general mathematicsFibrationFunction (mathematics)Lambda01 natural sciencesUpper and lower boundsMathematics::Algebraic GeometryGenus (mathematics)0103 physical sciencesSheaf010307 mathematical physics0101 mathematicsMathematicsTransactions of the American Mathematical Society
researchProduct

Notes on the subspace perturbation problem for off-diagonal perturbations

2014

The variation of spectral subspaces for linear self-adjoint operators under an additive bounded off-diagonal perturbation is studied. To this end, the optimization approach for general perturbations in [J. Anal. Math., to appear; arXiv:1310.4360 (2013)] is adapted. It is shown that, in contrast to the case of general perturbations, the corresponding optimization problem can not be reduced to a finite-dimensional problem. A suitable choice of the involved parameters provides an upper bound for the solution of the optimization problem. In particular, this yields a rotation bound on the subspaces that is stronger than the previously known one from [J. Reine Angew. Math. (2013), DOI:10.1515/cre…

Pure mathematicsOptimization problemApplied MathematicsGeneral MathematicsDiagonalPerturbation (astronomy)Upper and lower boundsLinear subspaceFunctional Analysis (math.FA)Mathematics - Spectral TheoryMathematics - Functional AnalysisBounded functionFOS: Mathematics47A55 (Primary) 47A15 47B15 (Secondary)Spectral Theory (math.SP)Subspace topologyMathematics
researchProduct

The annular decay property and capacity estimates for thin annuli

2016

We obtain upper and lower bounds for the nonlinear variational capacity of thin annuli in weighted $\mathbf{R}^n$ and in metric spaces, primarily under the assumptions of an annular decay property and a Poincar\'e inequality. In particular, if the measure has the $1$-annular decay property at $x_0$ and the metric space supports a pointwise $1$-Poincar\'e inequality at $x_0$, then the upper and lower bounds are comparable and we get a two-sided estimate for thin annuli centred at $x_0$, which generalizes the known estimate for the usual variational capacity in unweighted $\mathbf{R}^n$. Most of our estimates are sharp, which we show by supplying several key counterexamples. We also character…

Pure mathematicsProperty (philosophy)General Mathematicsthin annulusPoincaré inequality01 natural sciencesMeasure (mathematics)Upper and lower boundssymbols.namesakeMathematics - Analysis of PDEsMathematics - Metric Geometry0103 physical sciencesFOS: Mathematics0101 mathematicsMathematicsPointwiseApplied Mathematics010102 general mathematicsmetric spaceMetric Geometry (math.MG)31E05 (Primary) 30L99 31C15 31C45 (Secondary)kapasiteettiSobolev spaceSobolev spaceNonlinear systemMetric spaceannular decay propertyPoincaré inequalitydoubling measuresymbolsupper gradient010307 mathematical physicsweighted RnAnalysis of PDEs (math.AP)Newtonian spacevariational capacity
researchProduct

Optimal lower bounds for eigenvalues of linear and nonlinear Neumann problems

2013

In this paper we prove a sharp lower bound for the first non-trivial Neumann eigenvalue μ1(Ω) for the p-Laplace operator (p &gt; 1) in a Lipschitz bounded domain Ω in ℝn. Our estimate does not require any convexity assumption on Ω and it involves the best isoperimetric constant relative to Ω. In a suitable class of convex planar domains, our bound turns out to be better than the one provided by the Payne—Weinberger inequality.

Pure mathematicsp-Laplace operatorGeneral MathematicsMathematics::Spectral TheoryLipschitz continuityUpper and lower boundsDomain (mathematical analysis)ConvexityCombinatoricslower boundsMathematics - Analysis of PDEsSettore MAT/05 - Analisi MatematicaBounded functionFOS: MathematicsNeumann eigenvalueIsoperimetric inequalityLaplace operatorEigenvalues and eigenvectorsMathematicsAnalysis of PDEs (math.AP)
researchProduct

Quadratically Tight Relations for Randomized Query Complexity

2020

In this work we investigate the problem of quadratically tightly approximating the randomized query complexity of Boolean functions R(f). The certificate complexity C(f) is such a complexity measure for the zero-error randomized query complexity R0(f): C(f) ≤R0(f) ≤C(f)2. In the first part of the paper we introduce a new complexity measure, expectational certificate complexity EC(f), which is also a quadratically tight bound on R0(f): EC(f) ≤R0(f) = O(EC(f)2). For R(f), we prove that EC2/3 ≤R(f). We then prove that EC(f) ≤C(f) ≤EC(f)2 and show that there is a quadratic separation between the two, thus EC(f) gives a tighter upper bound for R0(f). The measure is also related to the fractional…

Quadratic growth[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]0209 industrial biotechnology0102 computer and information sciences02 engineering and technologyMeasure (mathematics)Upper and lower bounds01 natural sciencesACM: F.: Theory of ComputationSquare (algebra)Computation Theory & MathematicsTheoretical Computer ScienceCombinatoricsQuadratic equation020901 industrial engineering & automationComputational Theory and Mathematics010201 computation theory & mathematicsTheory of computationInformation complexity[INFO]Computer Science [cs]0102 Applied Mathematics 0802 Computation Theory and Mathematics 0805 Distributed ComputingCommunication complexityBoolean functionComputingMilieux_MISCELLANEOUSMathematics
researchProduct