<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="MATHML"><math> <mi>D</mi> </math></EquationSource> <EquationSource Format="TEX">$D$</EquationSource> </InlineEquation> be a Jordan domain of unit capacity. We study the partition function of a planar Coulomb gas in <InlineEquation ID="IEq2"> <EquationSource Format="MATHML"><math> <mi>D</mi> </math></EquationSource> <EquationSource Format="TEX">$D$</EquationSource> </InlineEquation> with a hard wall along <InlineEquation ID="IEq3"> <EquationSource Format="MATHML"><math> <mi>η</mi> <mo>=</mo> <mi>∂</mi> <mi>D</mi> </math></EquationSource> <EquationSource Format="TEX">$\eta = \partial D$</EquationSource> </InlineEquation>, <Equation ID="Equa"> <EquationSource Format="MATHML"><math> <msub> <mi>Z</mi> <mi>n</mi> </msub> <mo stretchy="false">(</mo> <mi>D</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mfrac> <mn>1</mn> <mrow> <mi>n</mi> <mo>!</mo> </mrow> </mfrac> <msub> <mo>∫</mo> <msup> <mi>D</mi> <mi>n</mi> </msup> </msub> <munder> <mo movablelimits="false">∏</mo> <mrow> <mn>1</mn> <mo>⩽</mo> <mi>k</mi> <mo>&lt;</mo> <mi>ℓ</mi> <mo>⩽</mo> <mi>n</mi> </mrow> </munder> <mo stretchy="false">|</mo> <msub> <mi>z</mi> <mi>k</mi> </msub> <mo>−</mo> <msub> <mi>z</mi> <mi>ℓ</mi> </msub> <msup> <mo stretchy="false">|</mo> <mn>2</mn> </msup> <munderover> <mo movablelimits="false">∏</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>n</mi> </munderover> <msup> <mi>d</mi> <mn>2</mn> </msup> <msub> <mi>z</mi> <mi>k</mi> </msub> <mo>.</mo> </math></EquationSource> <EquationSource Format="TEX">\( Z_{n}(D) =\frac{1}{n!}\int _{D^{n}}\prod _{1\leqslant k &lt; \ell \leqslant n}|z_{k}-z_{\ell }|^{2} \prod _{k=1}^{n} d^{2}z_{k}. \)</EquationSource> </Equation> We are interested in how the geometry of <InlineEquation ID="IEq4"> <EquationSource Format="MATHML"><math> <mi>η</mi> </math></EquationSource> <EquationSource Format="TEX">$\eta $</EquationSource> </InlineEquation> is reflected in the large <InlineEquation ID="IEq5"> <EquationSource Format="MATHML"><math> <mi>n</mi> </math></EquationSource> <EquationSource Format="TEX">$n$</EquationSource> </InlineEquation> behavior of <InlineEquation ID="IEq6"> <EquationSource Format="MATHML"><math> <msub> <mi>Z</mi> <mi>n</mi> </msub> <mo stretchy="false">(</mo> <mi>D</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$Z_{n}(D)$</EquationSource> </InlineEquation>. We prove that <InlineEquation ID="IEq7"> <EquationSource Format="MATHML"><math> <mi>η</mi> </math></EquationSource> <EquationSource Format="TEX">$\eta $</EquationSource> </InlineEquation> is a Weil-Petersson quasicircle if and only if <Equation ID="Equb"> <EquationSource Format="MATHML"><math> <munder> <mo movablelimits="false">lim</mo> <mrow> <mi>n</mi> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> </mrow> </munder> <mo>log</mo> <mfrac> <mrow> <msub> <mi>Z</mi> <mi>n</mi> </msub> <mo stretchy="false">(</mo> <mi>D</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <msub> <mi>Z</mi> <mi>n</mi> </msub> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">)</mo> </mrow> </mfrac> <mo>=</mo> <mo>−</mo> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>12</mn> </mfrac> <msup> <mi>I</mi> <mi>L</mi> </msup> <mo stretchy="false">(</mo> <mi>η</mi> <mo stretchy="false">)</mo> <mo>,</mo> </math></EquationSource> <EquationSource Format="TEX">\( \lim _{n \to \infty } \log \frac{Z_{n}(D)}{Z_{n}(\mathbb{D})} = -\frac{1}{12}I^{L}( \eta ), \)</EquationSource> </Equation> where <InlineEquation ID="IEq8"> <EquationSource Format="MATHML"><math> <msup> <mi>I</mi> <mi>L</mi> </msup> </math></EquationSource> <EquationSource Format="TEX">$I^{L}$</EquationSource> </InlineEquation> is the Loewner energy, <InlineEquation ID="IEq9"> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">D</mi> </math></EquationSource> <EquationSource Format="TEX">$\mathbb{D}$</EquationSource> </InlineEquation> is the unit disc, and <InlineEquation ID="IEq10"> <EquationSource Format="MATHML"><math> <mo>log</mo> <msub> <mi>Z</mi> <mi>n</mi> </msub> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mo>log</mo> <msup> <mi>π</mi> <mi>n</mi> </msup> <mo stretchy="false">/</mo> <mi>n</mi> <mo>!</mo> </math></EquationSource> <EquationSource Format="TEX">$\log Z_{n}(\mathbb{D}) = \log \pi ^{n}/n!$</EquationSource> </InlineEquation>. We next consider piecewise analytic <InlineEquation ID="IEq11"> <EquationSource Format="MATHML"><math> <mi>η</mi> </math></EquationSource> <EquationSource Format="TEX">$\eta $</EquationSource> </InlineEquation> with <InlineEquation ID="IEq12"> <EquationSource Format="MATHML"><math> <mi>m</mi> </math></EquationSource> <EquationSource Format="TEX">$m$</EquationSource> </InlineEquation> corners of interior opening angles <InlineEquation ID="IEq13"> <EquationSource Format="MATHML"><math> <mi>π</mi> <msub> <mi>α</mi> <mi>p</mi> </msub> <mo>,</mo> <mi>p</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>m</mi> </math></EquationSource> <EquationSource Format="TEX">$\pi \alpha _{p}, p=1,\ldots , m$</EquationSource> </InlineEquation>. Our main result is the asymptotic formula <Equation ID="Equc"> <EquationSource Format="MATHML"><math> <munder> <mo movablelimits="false">lim</mo> <mrow> <mi>n</mi> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> </mrow> </munder> <mfrac> <mn>1</mn> <mrow> <mo>log</mo> <mi>n</mi> </mrow> </mfrac> <mo>log</mo> <mfrac> <mrow> <msub> <mi>Z</mi> <mi>n</mi> </msub> <mo stretchy="false">(</mo> <mi>D</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <msub> <mi>Z</mi> <mi>n</mi> </msub> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">)</mo> </mrow> </mfrac> <mo>=</mo> <mo>−</mo> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>6</mn> </mfrac> <munderover> <mo movablelimits="false">∑</mo> <mrow> <mi>p</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>m</mi> </munderover> <mrow> <mo>(</mo> <msub> <mi>α</mi> <mi>p</mi> </msub> <mo>+</mo> <mfrac> <mn>1</mn> <msub> <mi>α</mi> <mi>p</mi> </msub> </mfrac> <mo>−</mo> <mn>2</mn> <mo>)</mo> </mrow> </math></EquationSource> <EquationSource Format="TEX">\( \lim _{n\to \infty }\frac{1}{\log n} \log \frac{Z_{n}(D)}{Z_{n}(\mathbb{D})} =-\frac{1}{6}\sum _{p=1}^{m} \left (\alpha _{p}+\frac{1}{\alpha _{p}}-2 \right ) \)</EquationSource> </Equation> which is consistent with physics predictions. The starting point of our analysis is an exact expression for <InlineEquation ID="IEq14"> <EquationSource Format="MATHML"><math> <mo>log</mo> <msub> <mi>Z</mi> <mi>n</mi> </msub> <mo stretchy="false">(</mo> <mi>D</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$\log Z_{n}(D)$</EquationSource> </InlineEquation> in terms of a Fredholm determinant involving the truncated Grunsky operator for <InlineEquation ID="IEq15"> <EquationSource Format="MATHML"><math> <mi>D</mi> </math></EquationSource> <EquationSource Format="TEX">$D$</EquationSource> </InlineEquation>. The proof of the main result is based on careful asymptotic analysis of the Grunsky coefficients. As further applications of our method we also study the Loewner energy and the related Fekete-Pommerenke energy, a quantity appearing in the analysis of Fekete points, for equipotentials approximating the boundary of a domain with corners. We formulate several conjectures and open problems.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Coulomb gas and the Grunsky operator on a Jordan domain with corners

  • Kurt Johansson,
  • Fredrik Viklund

摘要

Let D $D$ be a Jordan domain of unit capacity. We study the partition function of a planar Coulomb gas in D $D$ with a hard wall along η = D $\eta = \partial D$ , Z n ( D ) = 1 n ! D n 1 k < n | z k z | 2 k = 1 n d 2 z k . \( Z_{n}(D) =\frac{1}{n!}\int _{D^{n}}\prod _{1\leqslant k < \ell \leqslant n}|z_{k}-z_{\ell }|^{2} \prod _{k=1}^{n} d^{2}z_{k}. \) We are interested in how the geometry of η $\eta $ is reflected in the large n $n$ behavior of Z n ( D ) $Z_{n}(D)$ . We prove that η $\eta $ is a Weil-Petersson quasicircle if and only if lim n log Z n ( D ) Z n ( D ) = 1 12 I L ( η ) , \( \lim _{n \to \infty } \log \frac{Z_{n}(D)}{Z_{n}(\mathbb{D})} = -\frac{1}{12}I^{L}( \eta ), \) where I L $I^{L}$ is the Loewner energy, D $\mathbb{D}$ is the unit disc, and log Z n ( D ) = log π n / n ! $\log Z_{n}(\mathbb{D}) = \log \pi ^{n}/n!$ . We next consider piecewise analytic η $\eta $ with m $m$ corners of interior opening angles π α p , p = 1 , , m $\pi \alpha _{p}, p=1,\ldots , m$ . Our main result is the asymptotic formula lim n 1 log n log Z n ( D ) Z n ( D ) = 1 6 p = 1 m ( α p + 1 α p 2 ) \( \lim _{n\to \infty }\frac{1}{\log n} \log \frac{Z_{n}(D)}{Z_{n}(\mathbb{D})} =-\frac{1}{6}\sum _{p=1}^{m} \left (\alpha _{p}+\frac{1}{\alpha _{p}}-2 \right ) \) which is consistent with physics predictions. The starting point of our analysis is an exact expression for log Z n ( D ) $\log Z_{n}(D)$ in terms of a Fredholm determinant involving the truncated Grunsky operator for D $D$ . The proof of the main result is based on careful asymptotic analysis of the Grunsky coefficients. As further applications of our method we also study the Loewner energy and the related Fekete-Pommerenke energy, a quantity appearing in the analysis of Fekete points, for equipotentials approximating the boundary of a domain with corners. We formulate several conjectures and open problems.