{"entities":{"Q2582010":{"pageid":2592753,"ns":120,"title":"Item:Q2582010","lastrevid":44411397,"modified":"2025-11-22T18:28:38Z","type":"item","id":"Q2582010","labels":{"en":{"language":"en","value":"\u00dcber den Fundamentalbereich der automorphen Funk\\-tionen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502779"}},"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":"Q2582010$E01BBFF2-7C45-4FAE-AD85-54317B19C13F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4547af91d58a0843d2ac4e37b6457f04fe614da","datavalue":{"value":{"text":"\u00dcber den Fundamentalbereich der automorphen Funk\\-tionen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2582010$30E58095-D577-441A-9A64-4611A17E6308","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcbc566a001989da289aadf476e5fdab71411d21","datavalue":{"value":"67.0292.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2582010$0CAC0073-D932-46C4-97B3-6521D2A67A87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4953cbed0312c7be0cf75abf3a119a10cf52399","datavalue":{"value":{"entity-type":"item","numeric-id":565635,"id":"Q565635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2582010$CF759682-42FD-436C-9D0D-CBE534A4F1A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"003185fd644e5acea5f66c5507ee488c6407c12e","datavalue":{"value":{"entity-type":"item","numeric-id":2579341,"id":"Q2579341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2582010$5577C700-3F7A-4B39-9D56-D1F3DCE76CC5","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":"Q2582010$6C62F0D5-8B5B-40BF-960B-08EBB79FB826","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c5c47925443c7c8d8fd9cf9e9096a0b7ba67e512","datavalue":{"value":"Im Inneren \\(D\\) der Kreislinie \\(K{:}\\,|x|=R\\leqq\\infty\\) sei eine Punktfolge \\(\\{a_\\nu\\}\\) vorge\\-geben, die sich nur gegen \\(K\\), aber auch gegen alle Punkte von \\(K\\) h\u00e4uft. Die universelle regul\u00e4r verzweigte \u00dcberlagerungsfl\u00e4che der in allen \\(a_\\nu\\) punktierten Scheibe, \\(D(a_\\nu)\\), werde konform in den Einheitskreis \\(H{:}\\,|z|<1\\) abgebildet. Durch geeignete Zer\\-schneidung von \\(D(a_\\nu)\\) wird ein Fundamentalbereich \\(B\\) in \\(H\\) definiert, in dem die automorphe Umkehrfunktion \\(x(z)\\) jeden Wert von \\(D(a_\\nu)\\) genau einmal annimmt; \\(H\\) ist Haupt- und Grenzkreis. Die Ecken von \\(B\\) zerfallen in \\textit{parabolische} (die den logarithmischen Windungspunkten \u00fcber \\(a_\\nu\\) entsprechen) und \\textit{singul\u00e4re}, als H\u00e4u\\-fungen parabolischer Ecken: die Eckenmenge \\(E\\) zerf\u00e4llt so in \\(P + S\\). Das Problem der vorliegenden Arbeit liegt in der Feststellung von Zusammen\\-h\u00e4ngen zwischen der Struktur der Folge \\(\\{a_\\nu\\}\\) und der Struktur der Eckenmenge \\(E\\), wobei f\u00fcr diese das lineare bzw. harmonische Ma\u00df als Mittel der Beschreibung dient; da \\(P\\) abz\u00e4hlbar ist, sind diese Ma\u00dfe f\u00fcr \\(E\\) und \\(S\\) dieselben. Als Zerschneidung von \\(D(a_\\nu)\\) wird eine \\textit{radiale} bevorzugt, indem von jedem \\(a_\\nu\\) aus l\u00e4ngs des Radius bis \\(| x | = R\\) aufgeschnitten wird: so entsteht ein \\textit{Stern} \\(T(a_\\nu)\\). Durch Verbiegen der Schnitte kann erreicht werden, da\u00df \\(B\\) von Kreisbogen berandet wird -- die entsprechenden ``normierten'' Zerschneidungen spielen gleich eine Rolle; dieser Fundamentalbereich Bei \\(B^0\\). Das harmonische Ma\u00df wird durch Grenz\u00fcbergang \\(n\\to\\infty\\) eingef\u00fchrt, indem erst nur die \\(a_\\nu\\) f\u00fcr \\(\\nu = 1\\), 2,\\dots, \\(n\\) und ihre Schnitte, sowie die entsprechenden Rand\\-kreisbogen \\(b_\\nu\\) von \\(B^0\\) beachtet werden (sie schneiden \\(B{}_n^0\\) aus \\(H\\) aus): es ist die be\\-schr\u00e4nkte harmonische Funktion \\(\\omega(z, (b)_n, B{}_n^0)\\) in \\(B{}_n^0\\), die auf \\(b_\\nu\\) (\\(\\nu = 1\\),\\dots, \\(n\\)) ver\\-schwindet und auf dem \u00fcbrigen Rand gleich 1 ist. Dann wird \\[ \\omega (z,b,B^0) ={\\lim\\limits_{n\\to\\infty}}\\omega(z, (b)_n, B{}_n^0). \\] \\textit{Wann ist die Eckenmenge \\(E\\) bzw. \\(S\\) vom harmonischen Ma\u00df 0}? Das ist die Haupt\\-aufgabe. (Eine Verbiegung der Schnitte aus radialen zu normierten (s. oben) liefert daf\u00fcr gleiche Aussagen.) Offenbar tritt das ein, wenn ``wenige'' singul\u00e4re Ecken da sind, w\u00e4hrend das harmonische Ma\u00df \\textit{positiv} wird, wenn es deren ``viele'' gibt. Es zeigt sich, da\u00df dar\u00fcber zun\u00e4chst dadurch entschieden wird, ob die \\(|a_\\nu|\\) mit \\(\\nu\\) lang\\-sam oder rasch gegen \\(R\\) streben: so ist das Ma\u00df sicher positiv, wenn \\(\\sum(1 - | a_\\nu |)\\) konvergiert; dabei \\textit{gen\u00fcgt es}, die \\(a_\\nu\\) mitzunehmen, die Sternecken sind. Im paraboli\\-schen Fall \\(R =\\infty\\) ist nat\u00fcrlich \\(\\omega\\equiv0\\). Ein Punkt \\(c=Re^{i\\gamma}\\) von \\(K\\) hei\u00dfe \\textit{Konvergenzpunkt,} wenn \\(\\sum(1 - |a_\\nu|)\\) konvergiert, sobald nur \u00fcber die Sternecken (wie oben) eines gen\u00fcgend schmalen Kreissektors \\(|\\arg a_\\nu-\\gamma|<\\varepsilon\\) summiert wird; sonst \\textit{Divergenzpunkt}. Die Existenz \\textit{eines} Konvergenzpunktes bewirkt schon positives harmonisches Ma\u00df. Zur Umkehrung solcher Aussagen wird eine spezielle Klasse von Punktfolgen \\(a_\\nu\\) gew\u00e4hlt: \\[ a_{nk}=\\left(1-\\dfrac{1}{q_n}\\right)e^{\\frac{2\\pi ik}{p_n}} \\text{\\;\\;mit\\;\\;} q_n\\uparrow\\infty,\\;\\;0\\leqq k