Opial's inequality in $q$-Calculus revisited

Tatjana Z. Mirkovic,Slobodan B. Trickovic,Miomir S. Stankovic

2024-04-10

Abstract:We have fundamentally corrected the proofs of the theorems from our paper [9] by giving an entirely different approach, using quite a simple method based on applications of some elementary inequalities, well-known Hölder's inequality, and the Gauchman $q$-restricted integral.

Mathematics

What problem does this paper attempt to address?

Simpson's Type Inequalities for Co-Ordinated Convex Functions on Quantum Calculus.

Humaira Kalsoom,Jun-De Wu,Sabir Hussain,Muhammad Amer Latif

DOI: https://doi.org/10.3390/sym11060768

2019-01-01

Symmetry

Abstract:In the present paper, we aim to prove a new lemma and quantum Simpson’s type inequalities for functions of two variables having convexity on co-ordinates over [ α , β ] × [ ψ , ϕ ] . Moreover, our deduction introduce new direction as well as validate the previous results.
Quantitative Analysis for Perturbed Abstract Inequality Systems in Banach Spaces

Chong Li,K. F. Ng

DOI: https://doi.org/10.1137/17m1151274

IF: 2.763

2018-01-01

SIAM Journal on Optimization

Abstract:Using the error bound results established in the present paper for approximate solutions, we study the stability issues when perturbed by possibly nonaffine smooth maps E for the abstract inequality system F >=(K) 0 defined by a (possible nonclosed) convex cone K and a Frechet differentiable function F satisfying the (extended) weak gamma-condition. We provide some sufficient conditions, in terms of the information at a solution x(0), for ensuring the lower semicontinuity and/or the Lipschitz-like continuity at x(0) of the solution mapping for the perturbed system F + E >=(K) 0 with smooth perturbation E. Explicit upper bounds of the Lipschitz-like moduli are also provided.
Mean value theorem for quantum integral operator with application to sharp Ostrowski inequality

Andrea Aglić Aljinović,Domagoj Kovačević,Mate Puljiz,Ana Žgaljić Keko

DOI: https://doi.org/10.48550/arXiv.2011.02960

2020-11-05

Functional Analysis

Abstract:We derive a version of Lagrange's mean value theorem for quantum calculus. We disprove a version of Ostrowski inequality for quantum calculus appearing in the literature. We derive a correct statement and prove that our new inequality is sharp. We also derive a midpoint inequality.
Improved effective Łojasiewicz inequality and applications

Saugata Basu,Ali Mohammad-Nezhad

DOI: https://doi.org/10.1017/fms.2024.66

2024-12-04

Forum of Mathematics Sigma

Abstract:Let be a real closed field. Given a closed and bounded semialgebraic set and semialgebraic continuous functions such that , there exist an integer and such that the inequality (Łojasiewicz inequality) holds for all . In this paper, we consider the case when A is defined by a quantifier-free formula with atoms of the form for some finite subset of polynomials , and the graphs of are also defined by quantifier-free formulas with atoms of the form , for some finite set . We prove that the Łojasiewicz exponent in this case is bounded by . Our bound depends on d and n but is independent of the combinatorial parameters, namely the cardinalities of and . The previous best-known upper bound in this generality appeared in P. Solernó, Effective Łojasiewicz Inequalities in Semi-Algebraic Geometry, Applicable Algebra in Engineering, Communication and Computing (1991) and depended on the sum of degrees of the polynomials defining and thus implicitly on the cardinalities of and . As a consequence, we improve the current best error bounds for polynomial systems under some conditions. Finally, we prove a version of Łojasiewicz inequality in polynomially bounded o-minimal structures. We prove the existence of a common upper bound on the Łojasiewicz exponent for certain combinatorially defined infinite (but not necessarily definable) families of pairs of functions. This improves a prior result of Chris Miller (C. Miller, Expansions of the real field with power functions, Ann. Pure Appl. Logic (1994)).

mathematics, applied
Complementary and refined inequalities of Callebaut inequality for operators

M. Bakherad,M. S. Moslehian

DOI: https://doi.org/10.48550/arXiv.1410.1114

2014-10-05

Abstract:The Callebaut inequality says that \begin{align*} \sum_{ j=1}^n \left(A_j\sharp B_j\right)\leq \left(\sum_{ j=1}^n A_j \sigma B_j\right)\sharp\left(\sum_{ j=1}^n A_j \sigma^{\bot} B_j\right)\leq\left(\sum_{ j=1}^n A_j\right)\sharp \left(\sum_{ j=1}^nB_j\right)\,, \end{align*} where $A_j, B_j\,\,(1\leq j\leq n)$ are positive invertible operators and $\sigma$ and $\sigma^\perp$ are an operator mean and its dual in the sense of Kabo and Ando, respectively. In this paper we employ the Mond--Pečarić method as well as some operator techniques to establish a complementary inequality to the above one under mild conditions. We also present some refinements of a Callebaut type inequality involving the weighted geometric mean and Hadamard products of Hilbert space operators.

Functional Analysis,Operator Algebras
Sharp unifying generalizations of Opial's inequality

Chris A.J. Klaassen

DOI: https://doi.org/10.1186/s13660-023-03041-w

2023-12-09

Abstract:Opial's inequality and its ramifications play an important role in the theory of differential and difference equations. A sharp unifying generalization of Opial's inequality is presented that contains both its continuous and discrete version. This generalization based on distribution functions is extended to the case of derivatives of arbitrary order. This extension optimizes and improves the constant as given in the literature. The special case of derivatives of second order is studied in more detail. Two closely related Opial inequalities with a weight function are presented as well. The associated Wirtinger inequality is studied briefly.

Classical Analysis and ODEs,Probability
Approximate Solutions for Abstract Inequality Systems

Chong Li,K. F. Ng

DOI: https://doi.org/10.1137/120885176

IF: 2.763

2013-01-01

SIAM Journal on Optimization

Abstract:We consider conic inequality systems of the type$F(x)\ge_K 0$, with approximate solution $x_0$ associated to a parameter $\tau$,where $F$ is a twice Fréchet differentiable function between Hilbert spaces $X$ and $Y$, and$\ge_K$ is the partial order in $Y$ defined by anonempty convex (not necessarily closed) cone $K\subseteq Y$.We prove that, under the suitable conditions,the system $F(x)\ge_K 0$is solvable, and the ratio of the distance from $x_0$ to the solution set $S$ over the distance from $F(x_0)$ to the cone $K$ has anupper bound given explicitlyin terms of $\tau$ and $x_0$. We show that the upper bound is sharp.Applications to analytic function inequality/equality systems on Euclidean spaces are given,and the corresponding results of Dedieu [ SIAM J. Optim. , 11 (2000), pp. 411--425] are extended and significantly improved.
Quantitative logarithmic Sobolev inequalities and stability estimates

Max Fathi,Emanuel Indrei,Michel Ledoux

DOI: https://doi.org/10.48550/arXiv.1410.6922

2014-10-25

Abstract:We establish an improved form of the classical logarithmic Sobolev inequality for the Gaussian measure restricted to probability densities which satisfy a Poincaré inequality. The result implies a lower bound on the deficit in terms of the quadratic Kantorovich-Wasserstein distance. We similarly investigate the deficit in the Talagrand quadratic transportation cost inequality this time by means of an ${\rm L}^1$-Kantorovich-Wasserstein distance, optimal for product measures, and deduce a lower bound on the deficit in the logarithmic Sobolev inequality in terms of this metric. Applications are given in the context of the Bakry-Émery theory and the coherent state transform. The proofs combine tools from semigroup and heat kernel theory and optimal mass transportation.

Probability,Functional Analysis
An Inequality of Simpson's type Via Quasi-Convex Mappings with Applications

Mohammad Alomari

DOI: https://doi.org/10.55059/ijm.2022.1.1/1

2022-01-14

Innovative Journal of Mathematics

Abstract:In this paper, an inequality of Simpson type for quasi-convex mappings is proved. The constant in the classical Simpson's inequality is improved. Furthermore, the obtained bounds can be (much) better than some recent obtained bounds. Application to Simpson's quadrature rule is also given.
A Liouville comparison principle for solutions of quasilinear differential inequalities

Vasilii V. Kurta

DOI: https://doi.org/10.48550/arXiv.0903.1811

2009-03-10

Analysis of PDEs

Abstract:This work is devoted to the study of a Liouville comparison principle for entire weak solutions of quasilinear differential inequalities of the form $A(u) + |u|^{q-1}u \leq A(v) + |v|^{q-1}v$ on ${\Bbb R}^n$, where $n\geq 1$, $q$ is positive, and the operator $A(w)$ belongs to a class of the so-called $\alpha$-monotone operators. Typical examples of such operators are the $p$-Laplacian and its well-known modifications. The results improve and supplement those in [1].
Remarks on $q$-difference opers arising from quantum toroidal algebras

B. Feigin,M. Jimbo,E. Mukhin

2024-06-11

Abstract:We propose a conjectural correspondence between the spectra of the Bethe algebra for the quantum toroidal $\mathfrak{gl}_2$ algebra on relaxed Verma modules, and $q$-hypergeometric opers with apparent singularities. We introduce alongside the notion of apparent singularities for linear $q$-difference operators and discuss some of their properties. We also touch on a generalization to $\mathfrak{gl}_n$.

Quantum Algebra,Mathematical Physics
A note on Hardy $q$-inequalities

Peng Gao

DOI: https://doi.org/10.48550/arXiv.1412.5274

2014-12-17

Classical Analysis and ODEs

Abstract:We give a simple proof of a recently result concerning Hardy $q$-inequalities.
A short proof of an identity related to Type IV superorthogonality

Yixuan Pang

2024-04-14

Abstract:We provide a much shorter but even more powerful proof of an algebraic identity, which can be used to establish the direct and the converse inequality under Type IV superorthogonality. As an application, we obtain the optimal order of the formal constant in the direct inequality. This order turns out to be also sharp for Type III superorthogonality. When $p\geq 2$, our result recovers the optimal order of the constant in the Burkholder-Gundy inequality in martingale theory, and also recovers the currently best order of the constant in the reverse Littlewood-Paley inequality. We also introduce variants of Type IV superorthogonality, under which we prove the converse inequality.

Combinatorics
Potential trace inequalities via a Calderón-type theorem

Zdeněk Mihula,Luboš Pick,Daniel Spector

2024-07-04

Abstract:We establish an approach to trace inequalities for potential-type operators based on an appropriate modification of an interpolation theorem due to Calderón. We develop a general theoretical tool for establishing boundedness of notoriously difficult operators (such as potentials) on certain specific types of rearrangement-invariant function spaces from analogous properties of operators that are easier to handle (such as fractional maximal operators). The key ingredient for the development of the theory is the initial pair of endpoint estimates for the easier operator whose pivotal example is based on a two-weight inequality of Sawyer. Among various applications we obtain a generalization of the celebrated trace inequality involving the Riesz potential and the Hausdorff content by Korobkov and Kristensen.

Functional Analysis,Analysis of PDEs,Classical Analysis and ODEs
On some $q$-versions of Ramanujan master theorem

Ahmed Fitouhi,Kamel Brahim,Neji Bettaibi

DOI: https://doi.org/10.48550/arXiv.1702.08440

2017-02-25

Classical Analysis and ODEs

Abstract:In this paper, we state some $q$-analogues of the famous Ramanujan's Master Theorem. As applications, some values of Jackson's $q$-integrals involving $q$-special functions are computed.
New proofs of theorems on q-orthogonal functions

Dandan Chen,Zhiguo Liu

2024-08-08

Abstract:In this paper, we establish a $q$-integral formula by using the orthogonality relation, and also provide a new proof of the $q$-orthogonality relation for the continuous $q$-ultraspherical polynomials. A new $q$-beta integral with five parameters is evaluated.

Classical Analysis and ODEs,Number Theory
q-Hypergeometric proofs of polynomial analogues of the triple product identity, Lebesgue's identity and Euler's pentagonal number theorem

S. Ole Warnaar

DOI: https://doi.org/10.48550/arXiv.math/0203229

2002-03-22

Abstract:We present alternative, q-hypergeometric proofs of some polynomial analogues of classical q-series identities recently discovered by Alladi and Berkovich, and Berkovich and Garvan.

Combinatorics,Quantum Algebra
From H{\" O}lder Inequality to Bell Inequality for Qubits

Jing-Ling Chen,Dong-Ling Deng

2008-01-01

Abstract:We develop a systematic approach to establish Bell inequalities for qubits based on the Cauchy-Schwarz inequality. We also use the concept of distinct roots of Bell function to classify some well-known Bell inequalities for qubits. As applications of the approach, we present three new and tight Bell inequalities for four and three qubits, respectively.
Comparing with octopi

Gil Alon,Gady Kozma

DOI: https://doi.org/10.48550/arXiv.1811.10537

2018-11-27

Abstract:Operator inequalities with a geometric flavour have been successful in studying mixing of random walks and quantum mechanics. We suggest a new way to extract such inequalities using the octopus inequality of Caputo, Liggett and Richthammer.

Probability
Noncommutative Bohnenblust--Hille Inequality for qudit systems

Joseph Slote,Alexander Volberg,Haonan Zhang

2024-06-03

Abstract:Previous noncommutative Bohnenblust--Hille (BH) inequalities addressed operator decompositions in the tensor-product space $M_2(\mathbb{C})^{\otimes n}$; \emph{i.e.,} for systems of qubits \cite{HCP22,VZ23}. Here we prove noncommutative BH inequalities for operators decomposed in tensor-product spaces of arbitrary local dimension, \emph{i.e.,} $M_K(\mathbb{C})^{\otimes n}$ for any $K\geq2$ or on systems of $K$-level qudits. We treat operator decompositions in both the Gell-Mann and Heisenberg--Weyl basis, reducing to the recently-proved commutative hypercube BH \cite{DMP} and cyclic group BH \cite{SVZ} inequalities respectively. As an application we discuss learning qudit quantum observables.

Functional Analysis,Mathematical Physics

Opial's inequality in $q$-Calculus revisited

Simpson's Type Inequalities for Co-Ordinated Convex Functions on Quantum Calculus.

Quantitative Analysis for Perturbed Abstract Inequality Systems in Banach Spaces

Mean value theorem for quantum integral operator with application to sharp Ostrowski inequality

Improved effective Łojasiewicz inequality and applications

Complementary and refined inequalities of Callebaut inequality for operators

Sharp unifying generalizations of Opial's inequality

Approximate Solutions for Abstract Inequality Systems

Quantitative logarithmic Sobolev inequalities and stability estimates

An Inequality of Simpson's type Via Quasi-Convex Mappings with Applications

A Liouville comparison principle for solutions of quasilinear differential inequalities

Remarks on $q$-difference opers arising from quantum toroidal algebras

A note on Hardy $q$-inequalities

A short proof of an identity related to Type IV superorthogonality

Potential trace inequalities via a Calderón-type theorem

On some $q$-versions of Ramanujan master theorem

New proofs of theorems on q-orthogonal functions

q-Hypergeometric proofs of polynomial analogues of the triple product identity, Lebesgue's identity and Euler's pentagonal number theorem

From H{\" O}lder Inequality to Bell Inequality for Qubits

Comparing with octopi

Noncommutative Bohnenblust--Hille Inequality for qudit systems