Let $$f\in C^{2}(\mathbb{T}^{2})$$ have mean value 0 and consider $$\begin{eqnarray}\sup _{\unicode[STIX]{x1D6FE}\,\text{closed geodesic}}\frac{1}{|\unicode[STIX]{x1D6FE}|}\biggl|\int _{\unicode[STIX]{x1D6FE}}f\,d{\mathcal{H}}^{1}\biggr|,\end{eqnarray}$$ where $$\unicode[STIX]{x1D6FE}$$ ranges over all closed geodesics $$\unicode[STIX]{x1D6FE}:\mathbb{S}^{1}\rightarrow \mathbb{T}^{2}$$ and $$|\unicode[STIX]{x1D6FE}|$$ denotes its length. We prove that this supremum is always attained. Moreover, we can bound the length of the geodesic $$\unicode[STIX]{x1D6FE}$$ attaining the supremum in terms of the smoothness of the function: for all $$s\geq 2$$ , $$\begin{eqnarray}|\unicode[STIX]{x1D6FE}|^{s}{\lesssim}_{s}\biggl(\max _{|\unicode[STIX]{x1D6FC}|=s}\Vert \unicode[STIX]{x2202}_{\unicode[STIX]{x1D6FC}}f\Vert _{L^{1}(\mathbb{T}^{2})}\biggr)\Vert \unicode[STIX]{x1D6FB}f\Vert _{L^{2}}\Vert f\Vert _{L^{2}}^{-2}.\end{eqnarray}$$
more »
« less
Rotation of a superhydrophobic cylinder in a viscous liquid
The hydrodynamic quantification of superhydrophobic slipperiness has traditionally employed two canonical problems – namely, shear flow about a single surface and pressure-driven channel flow. We here advocate the use of a new class of canonical problems, defined by the motion of a superhydrophobic particle through an otherwise quiescent liquid. In these problems the superhydrophobic effect is naturally measured by the enhancement of the Stokes mobility relative to the corresponding mobility of a homogeneous particle. We focus upon what may be the simplest problem in that class – the rotation of an infinite circular cylinder whose boundary is periodically decorated by a finite number of infinite grooves – with the goal of calculating the rotational mobility (velocity-to-torque ratio). The associated two-dimensional flow problem is defined by two geometric parameters – namely, the number $$N$$ of grooves and the solid fraction $$\unicode[STIX]{x1D719}$$ . Using matched asymptotic expansions we analyse the large- $$N$$ limit, seeking the mobility enhancement from the respective homogeneous-cylinder mobility value. We thus find the two-term approximation, $$\begin{eqnarray}\displaystyle 1+{\displaystyle \frac{2}{N}}\ln \csc {\displaystyle \frac{\unicode[STIX]{x03C0}\unicode[STIX]{x1D719}}{2}}, & & \displaystyle \nonumber\end{eqnarray}$$ for the ratio of the enhanced mobility to the homogeneous-cylinder mobility. Making use of conformal-mapping techniques and inductive arguments we prove that the preceding approximation is actually exact for $$N=1,2,4,8,\ldots$$ . We conjecture that it is exact for all $$N$$ .
more »
« less
- Award ID(s):
- 1909407
- PAR ID:
- 10173301
- Date Published:
- Journal Name:
- Journal of Fluid Mechanics
- Volume:
- 880
- ISSN:
- 0022-1120
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
In this paper, we study the mixed Littlewood conjecture with pseudo-absolute values. For any pseudo-absolute-value sequence $${\mathcal{D}}$$ , we obtain a sharp criterion such that for almost every $$\unicode[STIX]{x1D6FC}$$ the inequality $$\begin{eqnarray}|n|_{{\mathcal{D}}}|n\unicode[STIX]{x1D6FC}-p|\leq \unicode[STIX]{x1D713}(n)\end{eqnarray}$$ has infinitely many coprime solutions $$(n,p)\in \mathbb{N}\times \mathbb{Z}$$ for a certain one-parameter family of $$\unicode[STIX]{x1D713}$$ . Also, under a minor condition on pseudo-absolute-value sequences $${\mathcal{D}}_{1},{\mathcal{D}}_{2},\ldots ,{\mathcal{D}}_{k}$$ , we obtain a sharp criterion on a general sequence $$\unicode[STIX]{x1D713}(n)$$ such that for almost every $$\unicode[STIX]{x1D6FC}$$ the inequality $$\begin{eqnarray}|n|_{{\mathcal{D}}_{1}}|n|_{{\mathcal{D}}_{2}}\cdots |n|_{{\mathcal{D}}_{k}}|n\unicode[STIX]{x1D6FC}-p|\leq \unicode[STIX]{x1D713}(n)\end{eqnarray}$$ has infinitely many coprime solutions $$(n,p)\in \mathbb{N}\times \mathbb{Z}$$ .more » « less
-
We examine correlations of the Möbius function over $$\mathbb{F}_{q}[t]$$ with linear or quadratic phases, that is, averages of the form 1 $$\begin{eqnarray}\frac{1}{q^{n}}\mathop{\sum }_{\deg f0$$ if $$Q$$ is linear and $$O(q^{-n^{c}})$$ for some absolute constant $c>0$ if $$Q$$ is quadratic. The latter bound may be reduced to $$O(q^{-c^{\prime }n})$$ for some $$c^{\prime }>0$$ when $Q(f)$ is a linear form in the coefficients of $$f^{2}$$ , that is, a Hankel quadratic form, whereas, for general quadratic forms, it relies on a bilinear version of the additive-combinatorial Bogolyubov theorem.more » « less
-
null (Ed.)Let $$\unicode[STIX]{x1D719}$$ be a post-critically finite branched covering of a two-sphere. By work of Koch, the Thurston pullback map induced by $$\unicode[STIX]{x1D719}$$ on Teichmüller space descends to a multivalued self-map—a Hurwitz correspondence $${\mathcal{H}}_{\unicode[STIX]{x1D719}}$$ —of the moduli space $${\mathcal{M}}_{0,\mathbf{P}}$$ . We study the dynamics of Hurwitz correspondences via numerical invariants called dynamical degrees . We show that the sequence of dynamical degrees of $${\mathcal{H}}_{\unicode[STIX]{x1D719}}$$ is always non-increasing and that the behavior of this sequence is constrained by the behavior of $$\unicode[STIX]{x1D719}$$ at and near points of its post-critical set.more » « less
-
For each $$t\in \mathbb{R}$$ , we define the entire function $$\begin{eqnarray}H_{t}(z):=\int _{0}^{\infty }e^{tu^{2}}\unicode[STIX]{x1D6F7}(u)\cos (zu)\,du,\end{eqnarray}$$ where $$\unicode[STIX]{x1D6F7}$$ is the super-exponentially decaying function $$\begin{eqnarray}\unicode[STIX]{x1D6F7}(u):=\mathop{\sum }_{n=1}^{\infty }(2\unicode[STIX]{x1D70B}^{2}n^{4}e^{9u}-3\unicode[STIX]{x1D70B}n^{2}e^{5u})\exp (-\unicode[STIX]{x1D70B}n^{2}e^{4u}).\end{eqnarray}$$ Newman showed that there exists a finite constant $$\unicode[STIX]{x1D6EC}$$ (the de Bruijn–Newman constant ) such that the zeros of $$H_{t}$$ are all real precisely when $$t\geqslant \unicode[STIX]{x1D6EC}$$ . The Riemann hypothesis is equivalent to the assertion $$\unicode[STIX]{x1D6EC}\leqslant 0$$ , and Newman conjectured the complementary bound $$\unicode[STIX]{x1D6EC}\geqslant 0$$ . In this paper, we establish Newman’s conjecture. The argument proceeds by assuming for contradiction that $$\unicode[STIX]{x1D6EC}<0$$ and then analyzing the dynamics of zeros of $$H_{t}$$ (building on the work of Csordas, Smith and Varga) to obtain increasingly strong control on the zeros of $$H_{t}$$ in the range $$\unicode[STIX]{x1D6EC}more » « less