Search results for "26B25"

showing 2 items of 2 documents

The forgotten mathematical legacy of Peano

2019

International audience; The formulations that Peano gave to many mathematical notions at the end of the 19th century were so perfect and modern that they have become standard today. A formal language of logic that he created, enabled him to perceive mathematics with great precision and depth. He described mathematics axiomatically basing the reasoning exclusively on logical and set-theoretical primitive terms and properties, which was revolutionary at that time. Yet, numerous Peano’s contributions remain either unremembered or underestimated.

PeanoPeano's axioms of arithmeticPeano's counterexamplesWeierstrass maximum theoremabstract measuresGeneral MathematicsClosure (topology)tangencyinterioranti-distributive familiesfoundationdefinitions by abstractionlinear differential equationsaxiom of choiceLogical conjunctionPeano axiomsproofFormal languageAxiom of choiceMSC: Primary 01A55 01A6003-03 26-03 28-03 34-03 54-03; Secondary15A75 26A03 26A2426B25 26B05 28A1228A15 28A75.affine exterior algebra[MATH]Mathematics [math]reduction formulaeMathematicsnonlinear differential equationsoptimality conditionsdifferentiation of measuressweeping-tangent theoremPeano's axioms of geometryPeano's filling curvereduction of mathematics to setssurface areaclosuremean value theoremDirichlet functionNonlinear differential equationssubtangentsEpistemologymeasure theoryplanar measurelower and upper limits of setsdistributive familiescompactnessmathematical definitions1886 existence theoremdifferentiabilityDissertationes Mathematicae
researchProduct

Improved Bounds for Hermite–Hadamard Inequalities in Higher Dimensions

2019

Let $\Omega \subset \mathbb{R}^n$ be a convex domain and let $f:\Omega \rightarrow \mathbb{R}$ be a positive, subharmonic function (i.e. $\Delta f \geq 0$). Then $$ \frac{1}{|\Omega|} \int_{\Omega}{f dx} \leq \frac{c_n}{ |\partial \Omega| } \int_{\partial \Omega}{ f d\sigma},$$ where $c_n \leq 2n^{3/2}$. This inequality was previously only known for convex functions with a much larger constant. We also show that the optimal constant satisfies $c_n \geq n-1$. As a byproduct, we establish a sharp geometric inequality for two convex domains where one contains the other $ \Omega_2 \subset \Omega_1 \subset \mathbb{R}^n$: $$ \frac{|\partial \Omega_1|}{|\Omega_1|} \frac{| \Omega_2|}{|\partial \Ome…

Pure mathematicsInequalitymedia_common.quotation_subject01 natural sciencesConvexitysymbols.namesakeMathematics - Metric GeometrySettore MAT/05 - Analisi MatematicaHadamard transformHermite–Hadamard inequality0103 physical sciencesClassical Analysis and ODEs (math.CA)FOS: Mathematics[MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP]Hermite-Hadamard inequality subharmonic functions convexity.0101 mathematicsComputingMilieux_MISCELLANEOUSsubharmonic functionsmedia_commonMathematicsSubharmonic functionHermite polynomialsconvexity010102 general mathematicsMetric Geometry (math.MG)Functional Analysis (math.FA)Mathematics - Functional AnalysisMSC : 26B25 28A75 31A05 31B05 35B50Mathematics::LogicHermite-Hadamard inequalityDifferential geometryMathematics - Classical Analysis and ODEsFourier analysissymbols010307 mathematical physicsGeometry and TopologyThe Journal of Geometric Analysis
researchProduct