{"entities":{"Q2227145":{"pageid":2237888,"ns":120,"title":"Item:Q2227145","lastrevid":53930489,"modified":"2026-01-25T23:03:55Z","type":"item","id":"Q2227145","labels":{"en":{"language":"en","value":"A sharp stability result for the Gauss mean value formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7308605"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$E4BAA3C0-62A7-4DB9-AA25-15D734505CC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9f5b39e77e06e55c0b163c983d693f6e6204a30","datavalue":{"value":{"text":"A sharp stability result for the Gauss mean value formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2227145$ED714A62-50DE-4DD8-BF3F-A73A0B5299C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d44e9b0f148f142c613a28be8575aa2466db576","datavalue":{"value":"1465.31001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2227145$27D5CFAD-713E-470A-823C-147746054365","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$005033FD-4AB3-497C-A936-E278DCAE4A85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7cb94b734d7b2835c194481178a8cd8e8a59783","datavalue":{"value":{"entity-type":"item","numeric-id":163291,"id":"Q163291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$8A81800B-4502-45F9-ADE5-11CAF68129C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ad0191822b5ba99a693f0f8ad6262dee3bc8c3a","datavalue":{"value":{"time":"+2021-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2227145$6C364477-09CA-4522-9EAC-59BC37E02497","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c57f4a2f6a78384aa8005c01a0dc0ecc5f34ea6","datavalue":{"value":"Let $\\Omega\\subseteq\\mathbb{R}^N$ be an open set, and let $\\mathcal{H}(\\Omega)$ denote the linear space of the \\textit{harmonic functions} in $\\Omega$. As is very well known, in the particular case when $\\Omega = B(x_0,r)$ is a Euclidean ball, then the following \\textit{mean-value formula holds}:  \\[ u(x_0) = \\fint_{\\Omega}u\\,\\mathrm{d} y, \\qquad\\forall\\,\\,u\\in\\mathcal{H}(\\Omega)\\cap L^1(\\Omega). \\tag{1} \\]  In 1972, \\textit{\u00dc. Kuran} [Bull. Lond. Math. Soc. 4, 311--312 (1972; Zbl 0257.31006)] proved the \\textit{rigidity} of the above mean-value formula: \\textit{if $\\Omega\\subseteq\\mathbb{R}^N$ is an open set with finite measure and if there exists $x_0\\in D$ such that \\[  u(x_0) = \\fint_{\\Omega}u\\,\\mathrm{d} y, \\qquad\\forall\\,\\,u\\in\\mathcal{H}(\\Omega)\\cap L^1(\\Omega), \\]  then $\\Omega$ is a Euclidean ball centered at $x_0$}. In the present paper, the authors improve Kuran's result by proving the \\textit{stability} of the mean-value formula (1).  Broadly put, the problem of the \\textit{stability} of (1) can be stated as follows: if $\\Omega\\subseteq\\mathbb{R}^N$ is an open set with finite measure and if there exists $x_0\\in\\Omega$ such that \\[  \\text{$u(x_0)$ is \\textit{close} to $\\fint_{\\Omega}u\\,\\mathrm{d} y$ for every $u\\in \\mathcal{H}(\\Omega)\\cap L^1(\\Omega)$}, \\]  is it true that $\\Omega$ is \\textit{close} to a Euclidean ball (centered at $x_0$)? In order to measure \\textit{the closeness} of $u(x_0)$ to its integral mean-value on $\\Omega$, the authors introduce the notion of \\textit{Gauss mean value gap} (of $\\Omega$ relative to $x_0$): \\[  G(\\Omega,x_0) := \\sup_{ \\begin{subarray}{c} u\\in\\mathcal{H}(\\Omega)\\cap L^1(\\Omega) \\\\ u\\not\\equiv 0 \\end{subarray}} \\frac{|u(x_0)-m_\\Omega(u)|}{m_\\Omega(|u|)}, \\]  where we have used the simplified notation \\[  m_\\Omega(f) := \\fint_\\Omega f\\,\\mathrm{d} y \\qquad (\\text{for $f\\in L^1(\\Omega)$}). \\]  Moreover, \\textit{the closeness} of $\\Omega$ to an Euclidean ball centered at $x_0\\in\\Omega$ is measured in terms of the so-called \\textit{Fraenkel asymmetry}: \\[  \\alpha(\\Omega) := \\min_{x\\in\\mathbb{R}^N}\\frac{|\\Omega\\Delta B(x,r_\\Omega)|}{|\\Omega|}, \\]  where $r_D$ is the radius of a ball with the same measure of $\\Omega$. Using these notations, the problem of the stability of (1) can be rephrased as follows: \\[  \\text{if $G(D,x_0)$ is small, is it true that $\\alpha(D)$ is small?} \\]  The authors provide a positive answer to this question by establishing a \\textit{stronger result}, namely the following stability inequality.   \\textbf{Theorem 1}. There exists a constant $C = C(N) > 0$ such that, if $\\Omega\\subseteq\\mathbb{R}^N$ is an open set with finite measure and $x_0\\in\\Omega$, then  \\[ \\frac{|\\Omega\\setminus B(x_0,r_{x_0})|}{|\\Omega|} \\leq C(N)\\,G(\\Omega,x_0), \\tag{2} \\]  where $r_{x_0} := \\operatorname{dist}(x_0,\\mathrm{d}_e\\Omega)$. As a consequence, one also has \\[  \\alpha(D) \\leq 2C(N)\\,G(\\Omega,x_0). \\]   The proof of Theorem 1 is very elegant in its simplicity: in fact, it relies essentially on a careful `qualitative' study of the \\textit{Kuran function} \\[  h(x) := 1+r_{x_0}^{N-2}\\frac{|x-x_0|^{2}-r_{x_0}^2}{|x-x_1|^N}, \\]  where $r_{x_0} = \\operatorname{dist}(x_0,\\mathrm{d}_e\\Omega)$ and $x_1\\in \\mathrm{d}_e B(x_0,r_{x_0})\\cap\\mathrm{d}_e\\Omega$. Moreover, the estimate from below of the Gauss mean value gap in Theorem 1 is \\textit{sharp}: in fact, the authors construct a family $\\{\\Omega_\\varepsilon\\}_{\\varepsilon}$ of ellipsoids in $\\mathbb{R}^N$ such that \\[ \\frac{1}{c(N)}\\frac{|\\Omega_\\varepsilon\\setminus B(0,1)|}{|\\Omega_\\varepsilon|} \\leq G(\\Omega_\\varepsilon,0)\\leq c\\frac{|\\Omega\\Delta B(x_0,r_\\Omega)|}{|\\Omega|}, \\] where $c > 0$ is a suitable constant independent of $\\varepsilon$. In order to prove the above two-side estimate, the authors establish an interesting continuity-type result for the Gauss mean value gap with respect to the $C^{1,\\alpha}$-convergence of domains; moreover, they also show that this continuity property \\textit{cannot be improved} by replacing the $C^{1,\\alpha}$-convergence with a weaker one.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2227145$1F59823D-672D-4ECF-91EA-E981188B6BC6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ac3529fe07a816742ae1b33e55a1d729177383a5","datavalue":{"value":{"entity-type":"item","numeric-id":332190,"id":"Q332190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$CB156107-8A97-4BBC-A707-E339EA8A9D03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4126199ee52b0237a72b3edeab5d37014dd24022","datavalue":{"value":"31B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2227145$F9EA8051-75E5-49D0-A918-837C86387C82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de35c2aedb66da0431cdc01b419e84ca04a1ee92","datavalue":{"value":"7308605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2227145$134ED089-CEF7-4D0D-A907-5DF85C3F8EAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93193c718ef537b5cf451513c0ce5edb2ecb94bc","datavalue":{"value":"harmonic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2227145$EF171E41-EB25-420E-83A0-E836F394BACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7910326fbcdad6b47d7623277a2bb15ee93074ee","datavalue":{"value":"mean-value formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2227145$792E031F-C0D4-47B9-9A89-AC3D0FD16E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b786eccff0c0aec8d1a8d2dd623418bff798073","datavalue":{"value":"characterization of balls","type":"string"},"datatype":"string"},"type":"statement","id":"Q2227145$8C75B9CE-4D72-4F1C-95CC-F21E88DDEACB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$D7877E67-EB94-45DB-9A97-175E3CA49C38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f82bdc9b67dc5b3ecf3ab9c98266ea3f15493008","datavalue":{"value":"https://doi.org/10.1007/s11854-020-0144-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2227145$26A70CF3-EFFC-4015-82D6-EBD3E3707FF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35cf8399b29d3e7c82e61e8341d3784253a96a66","datavalue":{"value":"W2989728156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2227145$EF3527DA-A0DE-43A9-AF78-59A79DD91171","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"140868aad54601f36ac3c012baa3e51ef62f10b8","datavalue":{"value":{"entity-type":"item","numeric-id":628602,"id":"Q628602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$6F5B5C4F-BDEE-44A2-9249-DDB9A0CA3E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d3723d88117fd3fbc6cbda12f5862bf3750232","datavalue":{"value":{"entity-type":"item","numeric-id":4281744,"id":"Q4281744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$F106AE17-62B5-4C37-BF00-1E335BC6B1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8aead6ffa60c62282a4680d379ca3452c6f6be","datavalue":{"value":{"entity-type":"item","numeric-id":2703588,"id":"Q2703588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$B721B590-2B7A-4D38-98C3-2CFF9AB9EB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb47a055a251a21c675db2f1a2fa58fd5848d1f","datavalue":{"value":{"entity-type":"item","numeric-id":2354908,"id":"Q2354908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$64F76E9D-13F3-4E54-A84D-4D147D5062C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c27b65ccef9d45cece6b17843c04cf55eabb7d","datavalue":{"value":{"entity-type":"item","numeric-id":5890981,"id":"Q5890981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$0EA2CFFB-B627-4817-B066-C4F12A1048B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7c81920db63eca9ff797be287e82029cc607cf","datavalue":{"value":{"entity-type":"item","numeric-id":2974752,"id":"Q2974752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$F651C146-F1F1-4AE3-8DE2-9BD5FB8E2263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8ef082484d22a9f07b010587bf424448b4de48","datavalue":{"value":{"entity-type":"item","numeric-id":993388,"id":"Q993388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$16029E1E-4B27-4793-A868-EDACA24C4B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ba7aac58fd8285ef5715e9166aa406aecdd1ba","datavalue":{"value":{"entity-type":"item","numeric-id":2389130,"id":"Q2389130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$1D4A3BC9-54D5-4C51-A6AF-F1D2BC7F5B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1bb4c8b4f94706c8d0a0d4031710c33159ddd8f","datavalue":{"value":{"entity-type":"item","numeric-id":4134303,"id":"Q4134303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$D8E325F7-A881-439C-A0B0-C1A12DDE93E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3466740a3125c162a8b2d50e2d71a64c86efeb","datavalue":{"value":{"entity-type":"item","numeric-id":5673170,"id":"Q5673170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$7B7344E1-9458-4F0E-9E43-3A75F7858C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"415c330ee8e5cd3653f90f2da8f35ac9409cb88b","datavalue":{"value":{"entity-type":"item","numeric-id":5214983,"id":"Q5214983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$9CD01D21-F145-4F96-B634-965A41216BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29aeb3d0b96598cccb701d5ecf2bdb24ef973a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5548537,"id":"Q5548537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2227145$CB6F0D05-AF2B-4DF4-83F1-C5E53EA58D74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78833b29ee209dacc1a93c1703fac507dc0486fb","datavalue":{"value":"10.1007/S11854-020-0144-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2227145$765CC2DA-9938-4D3F-B2F0-F91C11D6DC74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0adf3732c8af5e627b6e1cc3f4ddaf15342386c7","datavalue":{"value":{"entity-type":"item","numeric-id":2663153,"id":"Q2663153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7c272097556f15660ca935a830563eae521bfb","datavalue":{"value":{"amount":"+0.8474658131599426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2227145$E6C37596-6441-416B-A048-AEA869A6C05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2525c34bf9d6fc2395b5fcd9b515c47f28990edf","datavalue":{"value":{"entity-type":"item","numeric-id":2202223,"id":"Q2202223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f28e5cb7f9c465e077ea84e9298b007b7dfc04","datavalue":{"value":{"amount":"+0.8007771372795105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2227145$6C517310-80C4-46F2-9783-4252593B4296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0452fc7008241b3323a639d5d72a86f487f93297","datavalue":{"value":{"entity-type":"item","numeric-id":3797465,"id":"Q3797465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6800b4b7aece9d1916fc81e7e9c96e21a0b185a4","datavalue":{"value":{"amount":"+0.7590915560722351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2227145$602E84F8-B69C-4C41-AEB7-14F48910F424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32a45c9c22ccb8e24e761d7cee421ff8ddeac93d","datavalue":{"value":{"entity-type":"item","numeric-id":5217450,"id":"Q5217450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63048457c8c72da6993dd809c7b537ae40a5105","datavalue":{"value":{"amount":"+0.7548010945320129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2227145$6563CDC7-A5AD-402F-99C6-97AF6E709AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"753d60d616d25772919109e9c51779bdbf71b385","datavalue":{"value":{"entity-type":"item","numeric-id":849295,"id":"Q849295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e684b6085d7e363bfa6ede77a3d7b452ae5af0e","datavalue":{"value":{"amount":"+0.7465702295303345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2227145$F0561A67-ECC4-4787-963E-878A68CE05C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2227145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2227145"}}}}}