{"entities":{"Q2585281":{"pageid":2596024,"ns":120,"title":"Item:Q2585281","lastrevid":79076066,"modified":"2026-05-06T13:05:34Z","type":"item","id":"Q2585281","labels":{"en":{"language":"en","value":"Inequalities for harmonic polynomials in two and three dimensions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2504925"}},"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":"Q2585281$0770FCA9-5937-4548-A765-DEDBA4BCDC62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"079a7eba9e2fec1e94eb6ccf811f95d6a01f36bb","datavalue":{"value":{"text":"Inequalities for harmonic polynomials in two and three dimensions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2585281$91638DE5-1DD9-4845-A823-49C249407AED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71c6ddcbb6e17e65233aa4b8886a67daece43ba7","datavalue":{"value":"67.1001.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585281$93B29056-ACB5-4051-BFF2-A68D8EB105D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c07514d094b25bbd372ce3e07fd76f171d955d02","datavalue":{"value":"10.1090/S0002-9947-1941-0005164-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585281$1853AAC0-38AC-4925-BF50-EF2B723AB86B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6dba172a2e8584a9ac18a842dc094a096a5115c","datavalue":{"value":{"entity-type":"item","numeric-id":767505,"id":"Q767505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585281$52D4C189-820E-42FA-802D-88C08CAB41DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a2f84f54c28b2b8cd5cf1c2ba0fe2f09c36ea4f","datavalue":{"value":{"entity-type":"item","numeric-id":1277676,"id":"Q1277676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585281$D9EC4724-D313-405D-BC14-5F07886859CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585281$27321F9B-A872-4E16-9D3B-898B1C9A9CCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2585281$794B4E78-DED8-4EB9-8A28-BB0C3BEBC628","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6fbb8ace6b14e589df83102001ce12179e4b290a","datavalue":{"value":"Die Arbeit besch\u00e4ftigt sich mit harmonischen Polynomen von zwei und drei Ver\u00e4nderlichen, d.h. Polynomen \\(u(x,y)\\) bzw. \\(u(x,y,z)\\), welche der Laplaceschen Differentialgleichung \\(u_{xx} + u_{yy} = 0\\) bzw. \\(u_{xx} + u_{yy} + u_{zz} = 0\\) gen\u00fcgen. Sie zer\\-f\u00e4llt entsprechend in zwei Teile:  I. Der erste Teil der Arbeit verfolgt das Ziel, in einheitlicher Weise eine Reihe von Ungleichungen f\u00fcr harmonische Polynome von zwei Ver\u00e4nderlichen abzuleiten, die zum Teil bekannte S\u00e4tze verallgemeinern bzw. versch\u00e4rfen. Zugrunde gelegt werden harmonische Polynome \\(u(x,y)\\) vom Grade \\(n\\geqq1\\) mit reellen Koeffizienten. Nach Einf\u00fchrung von Polarkoordinaten \\(r\\), \\(\\varPhi\\) erh\u00e4lt ein derartiges Polynom die Form  \\[  U (r,\\varPhi) =a_0 + 2{\\sum_{m=1}^{n}}r^m(a_m \\cos m\\varPhi + b_m \\sin m\\varPhi)  \\]  (\\(a_m\\), \\(b_m\\) reell). Das zu \\(U (r, \\varPhi)\\) konjugierte Polynom werde jeweils mit  \\[  V(r,\\varPhi) = 2{\\sum_{m=1}^{n}}r^m(- b_m \\cos m\\varPhi + a_m \\sin m\\varPhi)  \\]  bezeichnet. Ferner werde zur Abk\u00fcrzung \\(U(1,\\varPhi)= U (\\varPhi)\\), \\(V (1,\\varPhi)=V (\\varPhi)\\) ge\\-setzt. Endlich werde unter \\(K_n\\) bzw. \\(L_n\\) die Klasse der trigonometrischen Polynome \\(U (\\varPhi)\\) vom Grade \\(n\\) verstanden, welche f\u00fcr ganzes \\(\\nu\\) mit \\(0\\leqq\\nu\\leqq 2n-1\\) den Un\\-gleichungen  \\[  \\bigg|U\\left(\\dfrac{\\nu\\pi}{n}\\right)\\bigg|\\leqq1\\quad\\text{bzw.}\\quad U\\left(\\dfrac{\\nu\\pi}{n}\\right)\\geqq0  \\]  gen\u00fcgen.  1) Die Grundlage f\u00fcr alle Betrachtungen bildet die folgende Interpolations\\-formel (von der bisher nur Spezialf\u00e4lle bekannt waren): Es seien \\(\\lambda_0, \\mu_0, \\lambda_1, \\mu_1,\\dots, \\lambda_n, \\mu_n\\) beliebige reelle Zahlen mit \\(\\mu_0=\\mu_n= 0\\), und es sei  \\[  g(\\varPhi) = 2 \\sideset{}{^\\prime} \\sum_{m=0}^{n} (\\lambda_{n-m}\\cos m\\varPhi - \\mu_{n-m} \\sin m\\varPhi)  \\]  (wo \\(\\sideset{}{^\\prime} \\sum\\) bedeutet, da\u00df die Glieder f\u00fcr \\(m = 0\\) und \\(m = n\\) mit dem Faktor \\(\\frac12\\) zu versehen sind). Bildet man dann f\u00fcr die Koeffizienten \\(a_m\\), \\(b_m\\) eines trigonometrischen Poly\\-noms \\(n\\)-ter Ordnung \\(U(\\varPhi)\\) die Gr\u00f6\u00dfe  \\[  G = \\lambda_0a_0 + 2{\\sum_{m=1}^{n}}(\\lambda_ma_m +\\mu_mb_m),  \\]  so l\u00e4\u00dft sich dieselbe darstellen in der Form  \\[  G=\\frac1{2n}{\\sum_{\\nu=0}^{2n-1}}(-1)^\\nu g\\left(\\dfrac{\\nu\\pi}{n}\\right)U\\left(\\dfrac{\\nu\\pi}{n}\\right).  \\]   2) Aus dieser Interpolationsformel flie\u00dfen unmittelbar die beiden S\u00e4tze: (A) Ge\\-n\u00fcgen die \\(\\lambda_m\\), \\(\\mu_m\\) der Bezieliung  \\[  g\\left(\\dfrac{\\nu\\pi}{n}\\right)\\geqq0\\qquad(0\\leqq\\nu\\leqq2n-1), \\tag{1}  \\]  so gilt f\u00fcr jedes \\(U(\\varPhi)\\) aus \\(K_n\\) die Absch\u00e4tzung  \\[  |G|\\leqq\\lambda_n. \\tag{2}  \\]  (B) Ist die Beziehung  \\[  (-1)^\\nu g\\left(\\dfrac{\\nu\\pi}{n}\\right)\\geqq0\\qquad(0\\leqq\\nu\\leqq2n-1) \\tag{3}  \\]  erf\u00fcllt, so gilt f\u00fcr jedes \\(U(\\varPhi)\\) aus \\(L_n\\)  \\[  G\\geqq0. \\tag{4}  \\]  Falls (1) bzw. (3) nicht f\u00fcr alle genannten \\(\\nu\\) erf\u00fcllt ist, so gibt es mindestens ein \\(U(K)\\) aus \\(R_n\\) bzw. \\(L_n\\), f\u00fcr das (2) bzw. (4) nicht besteht.  Die beiden S\u00e4tze (A) und (B) sind ``dual'' im folgenden Sinne: Ist das System der \\(\\lambda_m\\), \\(\\mu_m\\) so beschaffen, da\u00df \\(g_1(\\varPhi) = 2\\sideset{}{^\\prime} \\sum (\\lambda_{n-m} \\cos m\\varPhi-\\mu_{m-n}\\sin m\\varPhi)\\) der Ungleichung (1) gen\u00fcgt, so ist das System der \\(\\lambda_m'=\\lambda_{n-m}\\), \\(\\mu_m'=\\mu_{n-m}\\) so beschaffen, da\u00df \\(g_2(\\varPhi) = 2\\sideset{}{^\\prime}\\sum (\\lambda_{n-m}' \\cos m\\varPhi-\\mu_{m-n}'\\sin m\\varPhi)\\) der Ungleichung (3) gen\u00fcgt. L\u00e4\u00dft sich daher f\u00fcr \\(\\{\\lambda_m,\\mu_m\\}\\) der Satz (\\(A\\)) auf Polynome aus \\(K_n\\) anwenden, so l\u00e4\u00dft sich f\u00fcr \\(\\{\\lambda_m,\\mu_m'\\}\\) der Satz (\\(B\\)) auf Polynome aus \\(L_n\\) anwenden; ebenso umgekehrt.  3) Den beiden vorstehenden S\u00e4tzen lassen sich nun m\u00fchelos verschiedene Ab\\-sch\u00e4tzungen \u00fcber harmonische Polynome entnehmen. U. a. wird gezeigt: (a) Es sei \\(U(r,\\varPhi)\\) ein harmonisches Polynom \\(n\\)-ten Grades. Geh\u00f6rt \\(U(\\varPhi)\\) zur Klasse \\(K_n\\), so gilt f\u00fcr \\(R>1\\) bei beliebigem \\(\\varDelta\\) aus \\(-1\\leqq\\delta\\leqq+1\\) die Absch\u00e4tzung  \\[  \\bigg|U\\left(R,\\dfrac{\\nu\\pi}{n}\\right)+\\delta R^n U\\left(R^{-1},\\dfrac{\\nu\\pi}{n}\\right)\\bigg|\\leqq R^n+\\delta\\qquad (0\\leqq\\nu\\leqq 2n-1). \\tag{5}  \\]  Ist genauer \\(| U (\\varPhi) |\\leqq1\\) bei beliebigem reellem \\(\\varPhi\\), so gilt f\u00fcr \\(R > 1\\) und \\(\\delta\\) aus \\(-1\\leqq\\delta\\leqq+1\\) die Absch\u00e4tzung  \\[  | U (R, \\varPhi) + \\delta R^n(R^{-1},\\varPhi)|\\leqq R^n+\\delta\\quad (\\varPhi\\text{ beliebig reell}). \\tag{6}  \\]  Dabei l\u00e4\u00dft sich jeweils f\u00fcr \\(\\delta=\\pm1\\) das Eintreten des Gleichheitszeichens genau be\\-stimmen. Ferner bestehen auch die entsprechenden ``dualen'' Aussagen. -- (b) Ge\\-h\u00f6rt \\(U(\\varPhi)\\) zur Klasse \\(K_n\\), so gilt \\(\\bigg|U'\\left(\\dfrac{\\pi}{2n}\\right)\\bigg|\\leqq n\\), wobei Gleichheit nur f\u00fcr \\(U(\\varPhi) =\\pm\\cos n\\varPhi+ c \\sin n\\varPhi\\) mit reellem \\(c\\) eintritt. Hieraus folgt die bekannte Bernsteinsche Ungleichung.  4) Weitere Folgerungen aus den unter 2) geschilderten S\u00e4tzen beziehen sich auf den ``Gradientensatz'' und seine Verallgemeinerung. Angef\u00fchrt seien nur einige Resultate: (a) Nach \\textit{G. Szeg\u00f6} (Schr. K\u00f6nigsberger gel. Ges., naturw. Abt. 5 (1928), 59-70; F. d. M. 54, 311 (JFM 54.0311.*)) wei\u00df man: Ist \\(U(r,\\varPhi)\\) ein harmonisches Polynom \\(n\\)-ten Grades mit \\(|U(r,\\varPhi)|\\leqq1\\) in \\(r\\leqq1\\), so gilt  \\[  | \\operatorname{grad} U (r, \\varPhi)|\\leqq n\\quad\\text{in}\\quad r\\leqq1  \\]  (Gradientensatz). Genauer gilt unter den genannten Voraussetzungen  \\[ | \\operatorname{grad} U (r, \\varPhi)| + n|\\sigma_n (r,\\varPhi)|\\leqq n \\quad\\text{in}\\quad r\\leqq1, \\tag{7}  \\]  wo \\(\\sigma_n(r,\\varPhi)\\) das \\(n\\)-te Ces\u00e0rosche Mittel 1. Ordnung von \\(U(r,\\varPhi)\\) bedeutet (Verall\\-gemeinerter Gradientensatz). Diese Absch\u00e4tzung wird \u00fcber die f\u00fcr jedes reelle \\(\\alpha\\) geltende Beziehung  \\[  \\bigg|\\cos\\alpha U_r\\left(1,\\dfrac{\\alpha}{n}\\right)+ \\sin\\alpha V_r\\left(1,\\dfrac{\\alpha}{n}\\right)+ n\\sigma_n\\left(1,\\dfrac{\\alpha}{n}\\right)\\bigg|\\leqq n \\tag{8}  \\]  aus Satz (A) gewonnen, wobei zugleich das Eintreten des Gleichheitszeichens be\\-stimmt wird. -- (b) Als neue Verallgemeinerung des Gradientensatzes wird bewiesen: Es sei \\(U(r,\\varPhi)\\) ein harmonisches Polynom \\(n\\)-ten Grades. Geh\u00f6rt \\(U(\\varPhi)\\) zu \\(K_n\\), so gilt f\u00fcr \\(p>q\\geqq0\\), \\(p+q\\geqq2\\) bei reellem \\(\\alpha\\)  \\[  \\begin{multlined} \\bigg|\\cos\\alpha\\bigg\\{U\\left(p,\\dfrac{\\alpha}{n}\\right)U\\left(q,\\dfrac{\\alpha}{n}\\right)\\bigg\\}+ \\sin\\alpha\\bigg\\{V\\left(p,\\dfrac{\\alpha}{n}\\right)V\\left(q,\\dfrac{\\alpha}{n}\\right)\\bigg\\}\\bigg| \\\\ +\\bigg|p^nU\\left(p^{-1},\\dfrac{\\alpha}{n}\\right)q^nU\\left(q^{-1},\\dfrac{\\alpha}{n}\\right)\\bigg|\\leqq p^n-q^n. \\end{multlined} \\tag{9}  \\]  Ist genauer \\(|U(\\varPhi)|\\leqq1\\) bei beliebigem reellem \\(\\varPhi\\), so gilt f\u00fcr \\(p>q\\geqq0\\), \\(p+q\\geqq2\\) mit jedem \\(\\varPhi\\)  \\[  \\begin{multlined} [\\{U(p,\\varPhi) -U(q,\\varPhi)\\}^2 + \\{V (p,\\varPhi) -V(q,\\varPhi)\\}^2]^{\\frac12} \\\\ + |p^nU (p^{-1},\\varPhi) - q^nU(q^{-1},\\varPhi) |\\leqq p^n-q^n. \\end{multlined} \\tag{10}  \\]  Das Eintreten des Gleichheitszeichens l\u00e4\u00dft sich jeweils genau bestimmen. Als Grenz\\-fall \\(p\\to1\\), \\(q\\to1\\) flie\u00dfen aus diesen Resultaten die Absch\u00e4tzungen (8) und (7), die erste in leicht verallgemeinerter Form. -- (c) Die Beziehungen (9) und (10) be\\-sitzen wieder jeweils ein ``duales'' Gegenst\u00fcck. Daraus flie\u00dft speziell f\u00fcr \\(p\\to1\\), \\(q\\to1\\) der folgende, zum verallgemeinerten Gradientensatz duale Satz: Ist \\(U (r,\\varPhi)\\) ein harmonisches Polynom \\(n\\)-ten Grades mit \\(U(\\varPhi)\\geqq0\\), so gilt in \\(r\\leqq1\\)  \\[  |\\operatorname{grad} U (r, \\varPhi)|\\leqq n\\sigma_n(r,\\varPhi);  \\]  das Eintreten der Gleichheit l\u00e4\u00dft sich genau bestimmen. -- (d) Weitere, an das Vorhergehende anschlie\u00dfende Resultate beziehen sich auf Polynome einer komplexen Ver\u00e4nderlichen. Endlich wird gezeigt, da\u00df der klassische Satz von Markoff eine ein\\-fache Folge des Gradientensatzes darstellt.  II. Das Hauptziel des zweiten Teils der Arbeit ist der Beweis einer Absch\u00e4tzung f\u00fcr harmonische Polynome von drei Ver\u00e4nderlichen, die der Absch\u00e4tzung I (6) mit \\(\\delta=0\\) entspricht. Sie besagt: Ist \\(u(x, y, z)\\) ein harmonisches Polynom \\(n\\)-ten Grades (\\(n\\geqq1\\)), f\u00fcr das  \\[  |u (x, y, z)|\\leqq1\\quad\\text{in}\\quad x^2 +y^2 +z^2\\leqq1 \\tag{11}  \\]  gilt, so besteht f\u00fcr \\(x^2 +y^2 +z^2=R^2>1\\) die Ungleichung  \\[  |u(x,y,z)|\\leqq c_n(R) \\tag{12}  \\]  mit  \\[  \\begin{multlined} c_n(R)=\\frac12\\cdot\\frac{2\\cdot4\\cdots2n}{3\\cdot5\\cdots(2n+1)} \\bigg\\{(2n+1)R^n+(2n-3)\\frac{n^2-(n+1)^2}{n^2-(n-2)^2}R^{n-2}\\\\ +(2n-7)\\frac{n^2-(n+1)^2}{n^2-(n-2)^2}\\cdot \\frac{n^2-(n-1)^2}{n^2-(n-4)^2}R^{n-4}+\\cdots\\bigg\\}. \\end{multlined}  \\]  Das Eintreten der Gleichheit l\u00e4\u00dft sich genau bestimmen.  Im Verlaufe des Beweises wird f\u00fcr die Folge der Funktionen \\(c_n(R)\\) eine er\\-zeugende Funktion angegeben und aus ihr durch funktionentheoretische \u00dcber\\-legungen eine Integraldarstellung f\u00fcr \\(c_n(R)\\) gewonnen. Ihr entnimmt man, da\u00df \\(c_n(R)\\) f\u00fcr \\(R>1\\) die asymptotische Darstellung  \\[  c_n(R)\\simeq\\tfrac12\\sqrt{\\pi(1-R^{-2})n}R^n\\quad\\text{f\u00fcr}\\quad n\\to\\infty  \\]  zul\u00e4\u00dft. Dieses Resultat zeigt insofern einen Unterschied gegen\u00fcber dem zweidimen\\-sionalen Fall, als dort nach (6) einfach \\(R^n\\) an die Stelle von \\(c_n(R)\\) tritt.  Weiter liefern die Untersuchungen f\u00fcr ein der Bedingung (11) gen\u00fcgendes harmonisches Polynom \\(n\\)-ten Grades \\(u (x, y, z)\\) l\u00e4ngs der Einheitskugel \\(x^2 + y^2 + z^2 = 1\\) die folgenden Absch\u00e4tzungen der 1. und 2. Ableitung in Richtung des Kugelradius:  \\[  \\bigg|\\dfrac{\\partial u}{\\partial r}\\bigg|\\leqq c_n'(1),\\quad \\bigg|\\dfrac{\\partial^2 u}{\\partial r^2}\\bigg|\\leqq\\tfrac12 c_n^{\\prime\\prime}(1).  \\]  Auch bei diesen Beziehungen, von denen die zweite neu ist, l\u00e4\u00dft sich das Eintreten der Gleichheit bestimmen.  III. Die Arbeit schlie\u00dft mit einem Anhang: Der erste Teil desselben bezieht sich auf die Verallgemeinerung des in II behandelten Problems auf harmonische Polynome in einem beliebigen euklidischen Raum. Der zweite Teil, der nur in losem Zusammenhang mit der \u00fcbrigen Arbeit steht, liefert einen Beitrag zu einem k\u00fcrzlich von \\textit{W. E. Sewell} (Amer. math. Monthly 44 (1937), 577-578; F. d. M. \\(63_{\\text{II}}\\), 317) behandelten Extremumproblem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2585281$C6BEFAD5-C23D-444D-A7E1-CABD79331AC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2236a8cbb2e3027e5e1b2678ab69674030a8c0d8","datavalue":{"value":"2504925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585281$9EE8F5F8-BC18-438F-8B56-C1D4475B87C6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d3653700fa606810d3e1d3ed243ba42d836e0323","datavalue":{"value":"Q56082533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585281$88D02D79-0626-4960-9C42-1971EBA90152","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":"Q2585281$5BC3C098-A5CF-4414-B555-3CC1DA87EA8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f29a89786b4f85faacb241a306af6ca7968f209","datavalue":{"value":{"entity-type":"item","numeric-id":5776272,"id":"Q5776272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585281$0F3ACC55-AB55-42E7-B913-FF246F2B9F61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inequalities for harmonic polynomials in two and three dimensions.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inequalities_for_harmonic_polynomials_in_two_and_three_dimensions."}}}}}