{"entities":{"Q5945090":{"pageid":8121892,"ns":120,"title":"Item:Q5945090","lastrevid":93475295,"modified":"2026-06-05T04:27:38Z","type":"item","id":"Q5945090","labels":{"en":{"language":"en","value":"Asgeirsson's mean value theorem and related identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1656004"}},"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":"Q5945090$16B765C8-F2C0-4030-9B58-BE7B843C0038","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"082fef05f3b0c8c48523dc8307776b8d9a1af3fe","datavalue":{"value":{"text":"Asgeirsson's mean value theorem and related identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5945090$A0F8E51D-0FA2-4193-8865-3098B13459AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00c7430005a7a851ebd7e828db4ec22d0a52f5c2","datavalue":{"value":"1019.35022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945090$3A4C5B25-FBAD-4DDB-BDBA-544B5478EA22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7d7f61ebeb9dfadf947f840fe36dae5ba8e26d6","datavalue":{"value":{"entity-type":"item","numeric-id":170822,"id":"Q170822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945090$BA9D97C0-0BC4-4FD3-A2FB-20C5EE39A626","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c822db5813f0f9086f4e4ec19f4b6b46b5b495","datavalue":{"value":{"entity-type":"item","numeric-id":165791,"id":"Q165791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945090$31130872-BA21-4A41-84C5-B1F6C4B8D5D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e1871029e098436f93dff56bfed1da645d0b68f","datavalue":{"value":{"time":"+2003-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5945090$FDE68754-F756-4B8E-A690-11E5C4D9E571","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"34d94a77cbb5ec963b83e13121a304ab8d267339","datavalue":{"value":{"entity-type":"item","numeric-id":588621,"id":"Q588621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945090$35D54AD9-0198-47BB-9EAE-110DD69A80EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa8e2ad65551703895066e825dca25ad79e628f0","datavalue":{"value":"35C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945090$CC50A08C-685B-4ECB-B3DF-D6EDFA1D5C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be2ae91030453cff73721edaaccd1578d917b61d","datavalue":{"value":"35A08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945090$201BEE0B-58B8-4A70-B003-B1D83CB18A5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4571c5e9b28d8d062a6162b57cdc14df214f07a4","datavalue":{"value":"1656004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945090$5F06D954-E3CD-41FF-B6A7-65B28C9DC404","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ec81b92d657b5d4368d8356a9377691e61a667","datavalue":{"value":"invariance under Kelvin transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945090$006CCF91-F046-422B-9D11-E88F27502F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a0633d23b83b66558bbd41aacaf8498848157fc","datavalue":{"value":"generalized fundamental solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945090$E8B141CB-01EE-4B46-AAF7-49E35E57A5B1","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":"Q5945090$78EB7126-B6D9-44A3-BBB1-8615ECC3F443","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b23eb5e12acfd477974675698591443ba893100","datavalue":{"value":"https://doi.org/10.1006/jfan.2001.3743","type":"string"},"datatype":"url"},"type":"statement","id":"Q5945090$91C9E123-6410-447D-B920-CF26992F1BD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4167a96d30925572d2426ab34c4dcd876d8ba4db","datavalue":{"value":"W2038159131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945090$31E6EA70-F09B-435C-912D-60B172C8DF25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"280fdbe11646121088c4038738ad8b1297b49616","datavalue":{"value":{"entity-type":"item","numeric-id":5783444,"id":"Q5783444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945090$80B3E2EB-8906-4E67-840D-CE26F5D382B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1db0e36367e1a41c39e36db0d7df17b4b1665a6c","datavalue":{"value":{"entity-type":"item","numeric-id":3671564,"id":"Q3671564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945090$3C36D6E4-C93E-4D45-82B9-47A5FDF4F3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f73b459da8bde8cb0c18accbfa233f3673e066","datavalue":{"value":{"entity-type":"item","numeric-id":1580487,"id":"Q1580487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945090$C90949B0-CED0-435A-91A8-639F6804DDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d7b5b7be6ffefe257eaada281a04d83f0ac4ceb","datavalue":{"value":{"entity-type":"item","numeric-id":766837,"id":"Q766837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945090$A7E1A6DC-38B9-492F-A8EC-021735836A3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e6be374610336f9ba71312e5edef9cf506cd2a7","datavalue":{"value":"10.1006/JFAN.2001.3743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945090$85CE8A57-C46A-459E-B3DE-E0473592A5FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d97b54fb4dbecd45b561fab2e68eea92e1f2f624","datavalue":{"value":"\\textit{L. Schwartz} observed the equivalence of the mean value property of a harmonic function, i.e. NEWLINE\\[NEWLINE f_R\\ast u=0\\text{ for } u \\text{ with } \\Delta_xu=0,\\;f_R=2R\\delta\\bigl(|x|^2-R^2\\bigr)-R^{n-1}\\omega_n\\delta, NEWLINE\\]NEWLINE with the (unique) existence of a distribution \\(\\mu_R\\) with compact support such that \\(\\Delta_x\\mu_R=f_R.\\) Explicitly, \\(\\mu_R=\\text{const}(|x|^{2-n}-R^{2-n})\\chi^0_+ (R-|x|),\\) where \\(\\chi_{\\pm}^a\\) denotes the analytic distribution-valued function \\(a\\mapsto t_{\\pm}^a/{\\Gamma(a+1)}\\), \\( a\\in\\mathbb C\\) [Th\u00e9orie des distributions, Nouv. \u00e9d., Hermann, Paris, p. 217 and (VI, 10; 29), p. 218 (1996; Zbl 0149.09501)]. NEWLINENEWLINENEWLINEGeneralizing he proves that, for \\(H\\in\\mathcal E',\\) \\(H\\ast u=0\\) for all \\(u\\) with \\(\\Delta_x u=0,\\) is equivalent to the existence of \\(\\mu\\in\\mathcal E'\\) with \\(\\Delta_x\\mu=H.\\) Generalizing further he remarks that, for a partial differential operator \\(P(\\partial)\\) with constant coefficients, \\(H\\in\\mathcal E'\\) fulfills \\(H\\ast u=0\\) for all \\(u\\in\\mathcal D'\\) with \\(P(\\partial)u=0,\\) if and only if there exists \\(\\mu\\in\\mathcal E'\\) with \\(P(\\partial)\\mu=H\\) (p. 218). NEWLINENEWLINENEWLINEIn Chapter 2 of the paper under review, the author proves the classical mean value theorem of \\textit{L. Asgeirsson} [Math. Ann. 113, 321-346 (1937; Zbl 0015.01804)], i.e., NEWLINE\\[NEWLINEf_R\\ast u=0\\text{ for } u \\text{ with } (\\Delta_x-\\Delta_y)u=0,\\quad x\\in\\mathbb R^\\nu,\\;y\\in\\mathbb R^\\nu,NEWLINE\\]NEWLINE NEWLINE\\[NEWLINEf_R=2R\\delta\\bigl(|x|^2-R^2\\bigr)\\otimes\\delta_y-\\delta_x\\otimes 2R\\delta\\bigl(|y|^2-R^2\\bigr),NEWLINE\\]NEWLINE by constructing explicitly the corresponding distribution \\(\\mu_R\\in\\mathcal E'\\) fulfilling \\((\\Delta_x-\\Delta_y)\\mu_R=f_R.\\)NEWLINENEWLINENEWLINEDenoting by \\((-\\frac 1{16})A_R(x,y)\\) the quartic polynomial which, for appropriate \\(R,|x|,|y|,\\) expresses the square of the area of a triangle with these sides, and by \\(K_R\\) the set \\(\\{(x,y)\\in\\mathbb R^{2\\nu}\\mid |x|+|y|\\leq R\\},\\) the result is (Theorem 2.1): \\(\\mu_R=\\frac 12\\chi_+^{\\frac{1-\\nu}2}( \\frac\\pi{4R^2}A_R),\\) restricted to \\(\\mathcal E'(K_R).\\)NEWLINENEWLINENEWLINEHerein, \\(\\mu_R\\) is defined as pullback of \\(\\chi_+^a\\) by \\(\\frac\\pi{4R^2}A_R,\\) suitably regularized at the singular set \\(\\{(x,y)\\in\\mathbb R^{2\\nu}: |x|\\cdot|y|=0\\), \\(|x|+|y|=R\\}.\\)NEWLINENEWLINENEWLINELet us observe that, alternatively, \\(\\mu_R\\) can be defined as the value at \\(\\lambda=\\frac{1-\\nu}2\\) of the distribution-valued function \\(\\lambda\\mapsto T_\\lambda=\\frac 12\\chi^0_+(R-|x|-|y|)\\chi_+^\\lambda (\\frac\\pi{4R^2}A_R),\\) which is analytically continued to the whole complex plane, except for the series of simple poles \\(-\\frac{1+\\nu}2, -\\frac{3+\\nu}2,\\cdots,\\) by means of the recurrence relation NEWLINE\\[NEWLINE(\\Delta_x-\\Delta_y)T_\\lambda=\\frac{2\\pi}{R^2}\\bigl(|x|^2-|y|^2\\bigr) (\\nu+2\\lambda-1)T_{\\lambda-1}.NEWLINE\\]NEWLINE A first main purpose of the paper is the generalization of Asgeirsson's Theorem with respect to the quadratic forms \\(|x|^2,|y|^2.\\) The result is stated in Theorem 4.2.:NEWLINENEWLINENEWLINELet \\(Q_1(x),\\;x\\in\\mathbb R^\\nu\\), \\(Q_2(y)\\), \\(y\\in\\mathbb R^\\nu,\\) be nondegenerate real quadratic forms and \\(Q_1^\\ast,Q_2^\\ast\\) the dual quadratic forms defined by the inverses of the symmetric matrices representing \\(Q_1,Q_2.\\) Analogously to \\(A_R,\\) define the quartic polynomial \\(T_R\\) by the formula NEWLINE\\[NEWLINE T_R(x,y)=\\bigl[Q_1(x)-Q_2(y)\\bigr]^2-2R^2\\bigl[Q_1(x)+Q_2(y)\\bigr]+R^4. NEWLINE\\]NEWLINE Then the distributions \\(\\chi_\\pm^{\\frac{1-\\nu}2}(\\frac\\pi{4R^2}T_R),\\) defined outside the characteristic surface \\(T_R^{-1}(0),\\) can be extended to distributions \\(U_\\pm\\) fulfilling NEWLINE\\[NEWLINE \\bigl[Q_1^\\ast(\\partial_x)-Q_2^\\ast(\\partial_y)\\bigr]U_\\pm=c_\\pm^12R\\delta \\bigl(Q_1(x)-R^2\\bigr)\\otimes\\delta_y +c_\\pm^2\\delta_x\\otimes 2R\\delta\\bigl(Q_2(y)-R^2)),NEWLINE\\]NEWLINE NEWLINE\\[NEWLINE c_\\pm^1=\\frac 4{\\sqrt{|\\text{det} Q_2|}}\\begin{cases} \\sin\\bigl(\\pi(1+\\nu_2^-)/2\\bigr),\\\\ -\\sin(\\pi\\nu_2^+/2),\\end{cases} NEWLINE\\]NEWLINE NEWLINE\\[NEWLINE c_\\pm^2=\\frac 4{\\sqrt{|\\text{det} Q_1|}} \\begin{cases} -\\sin\\bigl(\\pi(1+\\nu_1^-)/2\\bigr),\\\\ \\sin(\\pi\\nu_1^+/2),\\end{cases} NEWLINE\\]NEWLINE wherein \\((\\nu_j^+,\\nu_j^-)\\) denote the signatures of \\(Q_j, j=1,2.\\) NEWLINENEWLINENEWLINEThe key point is the extension which relies on the existence of a kind of a generalized fundamental solution -- stated as Theorem 3.3. Roughly speaking, if \\(Q(x,\\partial_x)\\) denotes a second-order differential operator with \\(\\mathcal C^\\infty\\)-coefficients and \\(F\\) is a real-valued \\(\\mathcal C^\\infty\\)-function on a manifold \\(X\\) such that \\(S=\\{x\\in X: F(x)=0\\), \\(F'(x)=0\\}\\) is a submanifold of codimension \\(\\nu>2\\) with \\(\\text{rk} F''(x) =\\nu,\\) and \\(Q(x,\\partial_x)\\chi_\\pm^{1-\\nu/2}(F)\\) vanishes outside \\(S,\\) then \\(\\chi_\\pm^{1-\\nu/2}(F)\\) can be extended to X and fulfill there \\(Q(x,\\partial_x) \\chi_\\pm^{1-\\nu/2}(F)=\\text{const} \\delta_{S,F}.\\) Therein \\(\\delta_{S,F}\\) is the Dirac distribution on \\(S,\\) carefully defined in Proposition 3.2.NEWLINENEWLINENEWLINEA second purpose of the paper is the study of the invariance of the distribution NEWLINENEWLINENEWLINE\\(\\frac 12\\chi^{\\frac{1-\\nu}2}(\\frac \\pi{4R^2}T_R)\\) under Kelvin transformations \\(u\\mapsto\\widetilde u,\\) defined by NEWLINE\\[NEWLINE \\widetilde u(x,y)= -\\biggl(\\frac{R^2}{Q_1(x)-Q_2(y)}\\biggr)^{\\nu-1}u \\biggl(\\frac{(R^2x,R^2y)}{Q_1(x)-Q_2(y)}\\biggr).NEWLINE\\]NEWLINE Finally, the possibility of constructing solutions of the type \\(\\chi_\\pm^{-\\nu/2}(\\frac\\pi{2a}P)\\) for polynomials \\(P\\) other than \\(T_R\\) is examined and a theorem is proven for a particular polynomial \\(P\\) of third degree describing the surface which results from \\(T_R^{-1}(0)\\) by an inversion \\((x,y)\\mapsto\\frac{(R^2x,R^2y)}{Q_1(x)-Q_2(y)}.\\)NEWLINENEWLINENEWLINESome minor misprints can easily be corrected (p.~379, last and 17th line from the bottom, p.~386, 17th line from the bottom: replace \\(R+s\\) by \\(R-s;\\) p.~379 and p.~386, 16th line from the bottom: replace \\(s>-R\\) by \\(s