--- title: 'Bi-John Domains: Two-Sided Geometric Control' url: https://www.emergentmind.com/topics/bi-john-domains type: topic --- # Bi-John Domains: Two-Sided Geometric Control Searching arXiv for recent and relevant papers on John domains, quasihyperbolic geometry, and related “Bi-John” interpretations. Bi-John domains do not appear as a single standardized class in the cited literature. Instead, the term is typically understood through bilateral or two-sided John-type control: within the usual geometric-analysis literature, “bi-John” (or “two-sided John”) normally refers to domains that are John in a bilateral sense, while closely related papers work with uniform, diameter John, distance John, carrot John, cigar John, inner uniform, and quasihyperbolic \((b,\lambda)\)-uniform domains [1612.04445, 1104.5128]. A natural synthesis suggested by these works is that a Bi-John domain is a domain in which the one-sided John condition is supplemented by two-sided control along curves between arbitrary pairs of points, often together with quasihyperbolic or inner-uniform control [1104.5128]. ## 1. Foundational definitions and the emergence of a bilateral viewpoint A bounded domain \(\Omega \subset \mathbb{R}^n\) is a John domain with parameter \(\beta>1\) if there exists a point \(x_0\in \Omega\) such that for every \(y\in\Omega\) there is a rectifiable curve \(\gamma:[0,\ell]\to\Omega\), parametrized by arc length, with \(\gamma(0)=y\), \(\gamma(\ell)=x_0\), and \[ \operatorname{dist}\bigl(\gamma(t), \partial\Omega\bigr) \ge \frac{t}{\beta} \quad\text{for all } t\in[0,\ell]. \] Equivalent formulations replace the distinguished center by a pairwise cone condition: a rectifiable arc \(\gamma\) joining \(z_1,z_2\in D\) is a \(c\)-cone arc if \[ \min\{\ell(\gamma[z_1,z]),\;\ell(\gamma[z_2,z])\}\le c\, d(z) \quad\text{for all } z\in\gamma, \] where \(d(z)=\operatorname{dist}(z,\partial D)\) [1612.04445, 1104.5128]. A uniform domain strengthens this by adding global length control. In the formulation used by Huang–Wang, \(D\) is \(c\)-uniform if every pair \(z_1,z_2\in D\) can be joined by a rectifiable arc \(\gamma\subset D\) satisfying the same double-cone condition and also \[ \ell(\gamma)\le c\,|z_1-z_2|. \] The heuristic recorded there is especially important for the present topic: \[ \text{Uniform domain} = \text{“two-sided John”} + \text{length control}, \] whereas \[ \text{John domain} = \text{“one-sided uniform”}. \] This heuristic is one of the main sources for the modern interpretation of “Bi-John” behavior [1104.5128]. The literature also isolates three pairwise variants. In Banach spaces, a length \(c\)-John domain is defined by the cone condition in terms of arc length, a diameter \(c\)-John domain replaces \(\ell(\gamma[x_j,x])\) by \(\operatorname{diam}(\gamma[x_j,x])\), and a distance \(c\)-John domain replaces it by \(|x_j-x|\). The basic implication chain is \[ \text{length John} \Longrightarrow \text{diameter John} \Longrightarrow \text{distance John} \] [2309.15452]. For simply connected planar domains, an intrinsic two-sided formulation is already standard. A simply connected planar domain \(Y\) is a \(c\)-John disk if any pair \(y_1,y_2\in Y\) can be joined by a rectifiable curve \(\gamma\subset Y\) such that \[ \min_{i=1,2} \ell(\gamma(y_i,y)) \le c\, \dist(y,\partial Y) \quad\text{for every } y\in\gamma. \] In that setting, the basepoint formulation and the two-sided formulation are equivalent up to a change of constant [2004.09669]. ## 2. Candidate meanings of “Bi-John” and the role of carrot and cigar structures The cited papers repeatedly state that the term itself is not standard. One formulation given explicitly is that, within the usual geometric-analysis literature, “bi-John” normally refers to domains that are John in a bilateral sense: the domain is John with respect to every point, or satisfies a John condition in both directions, or is both John and reverse John; in many settings such domains coincide, up to constants, with uniform domains or chord-arc domains [1612.04445]. A second, more geometric formulation emerges from carrot and cigar constructions. For a curve \(\gamma\) joining \(x\) to a center \(x_0\), the carrot set is \[ car(\gamma, J):=\bigcup\Big\{B_{\Vert \cdot\Vert}(y,\ell_{\|\cdot\|}(\gamma[x,\,y])/J):y \in \gamma\setminus\{x\}\Big\}, \] and a domain is carrot John if each point admits such a curve with the carrot contained in the domain. For a curve \(\beta\) joining two points \(x,y\), the cigar set is \[ cig(\beta,J):=\bigcup\Big\{B_{\Vert \cdot\Vert}(\eta,\rho(\eta)/J):\eta\in \beta\setminus\{x,y\}\Big\}, \] with \[ \rho(\eta)=\min\{\ell_{\|\cdot\|}(\beta[x,\eta]),\ell_{\|\cdot\|}(\beta[y,\eta])\}. \] In bounded domains, carrot and cigar definitions are equivalent up to constants. The cigar condition is intrinsically two-sided and is therefore especially close to a Bi-John interpretation [2401.08133]. The unbounded case is more delicate. Carrot John with center at \(\infty\) is not equivalent to cigar John, but an unbounded carrot John domain can be covered by a uniformly finite number of unbounded John domains defined conventionally through cigars. Moreover, within each such component, any two points admit two carrot curves meeting a common interior ball: \[ B_{z,w}\subset car(\gamma_z,J')\subset W_{j,\infty},\qquad B_{z,w}\subset car(\gamma_w,J')\subset W_{j,\infty}, \] with equal terminal radii \[ \frac{\ell(\gamma_z[z,a_{z,w}])}{J'}=r_{z,w}=\frac{\ell(\gamma_w[w,a_{z,w}])}{J'}. \] This is an explicit two-sided internal thickness statement and provides one of the clearest geometric models of Bi-John behavior in the unbounded setting [2401.08133]. A third model comes from the planar John disk theory. Since a John disk is defined there by a pairwise two-sided inequality, it may be regarded as a one-sided quasidisk, but at the level of internal curves it already exhibits the bilateral control that motivates the term Bi-John [2004.09669]. ## 3. Quasihyperbolic and inner-uniform formulations of two-sided John behavior The quasihyperbolic metric provides the main metric reformulation of two-sided John geometry. For a rectifiable curve \(\gamma\subset D\), \[ \ell_{k_D}(\gamma)=\int_\gamma \frac{|dz|}{d(z)}, \] and \[ k_D(x,y)=\inf_\gamma \ell_{k_D}(\gamma). \] The inner distance is \[ A_D(z_1,z_2)=\inf\{\ell(\alpha): \alpha\subset D \text{ rectifiable arc joining } z_1,z_2\}. \] A domain is quasihyperbolic \((b,\lambda)\)-uniform if \[ k_D(z_1,z_2)\le b\,\log\!\left(1+ \frac{A_D(z_1,z_2)}{\min\{d(z_1),d(z_2)\}}\right) + \lambda \quad\text{for all }z_1,z_2\in D. \] Väisälä’s theorem identifies this with inner uniformity, while Gehring–Osgood characterize uniform domains by a corresponding quasihyperbolic inequality [1104.5128]. Huang–Wang prove the central two-sided geodesic theorem in this direction. If \(D\subset \mathbb{R}^n\) is an \(a\)-John domain which is homeomorphic to a \(c\)-uniform domain \(D'\) via a \(K\)-quasiconformal mapping, then every quasihyperbolic geodesic \(\gamma\) in \(D\) joining arbitrary points \(z_1,z_2\in D\) is an \(a'\)-cone arc, where \(a'\) depends only on \(a,c,n,K\). Under the same hypotheses, \(D\) is a quasihyperbolic \((b,\lambda)\)-uniform domain, and hence an inner uniform domain [1104.5128]. These results are the most explicit justification in the cited literature for interpreting Bi-John domains quasihyperbolically. A natural interpretation proposed there is that a Bi-John domain should exhibit John-type control “in both directions” between arbitrary pairs of points: every quasihyperbolic geodesic is a cone arc, and the quasihyperbolic metric is controlled by inner distance. In that sense, \[ \text{John} + \text{QC equivalence to uniform} \Longrightarrow \text{cone geodesics} + \text{QH-uniformity}, \] which is “very close” to a Bi-John condition [1104.5128]. The same paper also records the coarse quasihyperbolic stability mechanism. A homeomorphism \(f:D\to D'\) is \((M,C)\)-CQH if \[ \frac{1}{M} k_D(x,y) - C \le k_{D'}(f(x),f(y)) \le M\,k_D(x,y) + C, \] and any \(K\)-quasiconformal map in \(\mathbb{R}^n\) is \((M,C)\)-CQH for \(M,C\) depending only on \(K\) and \(n\). This is the basic transfer principle behind quasihyperbolic Bi-John behavior [1104.5128]. ## 4. Analytic consequences on John and stronger-than-John classes Because every plausible Bi-John class in the cited papers contains John geometry, the analytic theory for John domains applies directly and often serves as the baseline. For bounded Euclidean John domains, a weighted Korn inequality holds with nonnegative powers of the distance to the boundary. If \(\rho(x)=\operatorname{dist}(x,\partial\Omega)\), \(10\), and \(u\in W^{1,p}(\Omega)^n\) satisfies the weighted orthogonality conditions on \(\eta_{ij}(u)\), then \[ \biggl(\int_\Omega |Du(x)|^p\, \rho(x)^{p\beta}\,dx\biggr)^{1/p} \le C\, K^{n+\beta} \biggl(\int_\Omega |\varepsilon(u)(x)|^p\, \rho(x)^{p\beta}\,dx\biggr)^{1/p}, \] where \(K\) is the Boman-tree geometric constant. The same paper proves weighted solvability of \[ \operatorname{div}u=f \] in \(W^{1,q}_0(\Omega,\rho^{-\beta})^n\) with explicit dependence on \(K^{n+\beta}\). Since any bi-John domain is, at minimum, John, these inequalities apply automatically to stricter two-sided classes [1612.04445]. The Poincaré theory is similarly extensive. For fractional Orlicz–Sobolev spaces, if \(\phi\in\Delta_2\) with \(K_\phi<2^{n/s}\), then a bounded \(c\)-John domain supports the \((\phi_{n/s},\phi)\)-Poincaré inequality \[ \|u-u_\Omega\|_{L^{\phi_{n/s}}(\Omega)} \le C\,\|u\|_{\dot V_*^{s,\phi}(\Omega)}. \] Conversely, under the additional assumption that \(\Omega\) is quasiconformally equivalent to a uniform domain when \(n\ge3\), or simply connected when \(n=2\), support of the same inequality implies that \(\Omega\) is John [2305.04016]. The first-order Orlicz analogue replaces \(\phi_{n/s}\) by \(\phi_n\) and yields \[ \|u-u_\Omega\|_{L^{\phi_n}(\Omega)} \le C\, \|\nabla u\|_{L^\phi(\Omega)}, \] again with the same converse under the same geometric hypotheses [2403.17943]. Improved fractional Poincaré and Hardy–Sobolev inequalities also fit the same pattern. On John domains in doubling metric measure spaces, one has weighted improved fractional Poincaré inequalities of the form \[ \inf_{a\in\mathbb{R}} \|u-a\|_{L^{p^*_{s-\gamma}}(\Omega,\,w_\phi^F d\mu)} \lesssim [u]_{W_\tau^{s,p}(\Omega,\,v_{\Phi,\gamma p}^F d\mu)}, \] together with the \((p,p)\) variant and endpoint \(p=1\) forms under additional regularity on \(\mu\) [1902.10578]. For unbounded John domains, weighted fractional Hardy–Sobolev inequalities with distance-to-boundary powers are proved under Assouad-dimension restrictions on \(\partial D\), and this framework yields the fractional Hardy–Sobolev–Maz’ya inequality on the half-space [1709.03296]. A further consequence appears in anisotropic GMT. Every \((\varepsilon,r)\)-minimizer for the anisotropic perimeter \(P_K\) satisfies a local John property: each connected component is a \((J,cr)\)-John domain for the norm \(|\cdot|_K\), with \(J\) depending on \(n\) and \(M_K/m_K\), and \(c\) depending on \(n\) and \(n_K\). Under a global closeness assumption to the Wulff shape \(K\), the set is globally John and satisfies an anisotropic trace inequality \[ \inf_{c\in\mathbb{R}} \int_{\partial\Omega} |Tu(x)-c|\,| \nu_{\Omega}(x)|^*\,d\mathcal{H}^{n-1}(x) \le C(n,J) \int_{\Omega} |Du|^*(x)\,dx. \] This furnishes a concrete geometric input for the quantitative Wulff inequality [2406.06906]. ## 5. Mapping theory, prime ends, and metric boundary structure The mapping-theoretic invariance results sharpen the distinction between one-sided and two-sided John conditions. In Banach spaces, a length \(c\)-John domain always has the minimizing property, and curves with the minimizing property are quantitatively equivalent to diameter John arcs. A distance \(c\)-John domain is characterized by the weak minimizing property [2309.15452]. These characterizations interact well with quasisymmetry relative to the boundary. If \(f:G\to G'\) is \(\eta\)-quasisymmetric relative to \(\partial G\), then the minimizing property is preserved, so a length John domain is mapped to a diameter John domain. Likewise, the weak minimizing property is preserved, so distance John domains are invariant under such maps [2309.15452]. The full length John property requires an additional quasihyperbolic control: if \(f\) is \((M,C)\)-CQH and the boundary extension is \(\eta\)-QS relative to \(\partial G\), then the target is again a John domain [2309.15452]. For planar mapping theory, John disks are a particularly important endpoint. A John disk is a simply connected John domain and may be regarded as a one-sided quasidisk. The paper on Sobolev homeomorphic extensions proves that if \(Y\) is a John disk and \(\varphi:\partial\mathbb D\to\partial Y\) is a homeomorphism, then there exists a homeomorphic extension \[ h:\overline{\mathbb D}\to \overline{Y} \] with \(h\in W^{1,p}(\mathbb D,\mathbb C)\) for all \(1Q-1\), Mod\(_p\)-prime ends coincide with prime ends [1204.6444]. Since these conclusions use only the interior John geometry, they apply directly to any Bi-John domain that retains the same interior John structure. ## 6. Stability, examples, sharpness, and open directions Several papers emphasize that “Bi-John” is not a fixed standard term and that stronger two-sided conditions are delicate. The weighted eikonal paper proves that if \(K\) is a bounded John domain and \(\alpha\) is continuous, bounded, and uniformly positive, then every superlevel \[ U_t=\{x\in \mathbb{R}^n : u(x)>-t\} \] of the unique viscosity solution of \[ \alpha(x)|\nabla u|=1 \quad\text{in }\mathbb{R}^n\setminus K,\qquad u=0 \quad\text{on } K \] is again a John domain, with a John constant independent of \(t\). The same paper gives counterexamples showing that John regularity is sharp: one cannot upgrade the conclusion to interior-ball or even interior-cone regularity in this generality [2312.17635]. This sharply limits any attempt to replace John by much stronger bilateral classes in low-regularity PDE evolutions. Quantitative stability of John geometry under set convergence is established for carrot John domains. If \(\Omega_j\) are uniformly bounded John domains with \(John(\Omega_j)\le J_0\) and a uniform lower volume bound, then after subselection their closures converge in Hausdorff distance to a set \(A\) whose interior \(\Omega\) is connected, John, and satisfies \[ John(\Omega)\le \liminf_{j\to\infty} John(\Omega_j). \] The same work shows that an unbounded open set satisfying the carrot John condition with center at \(\infty\) can be covered by a uniformly finite number of unbounded John domains defined conventionally through cigars, and these domains support Sobolev–Poincaré inequalities [2401.08133]. For Bi-John theory, this is one of the strongest available stability templates. Explicit fractal examples make the distinction between John, QHBC, and stronger two-sided control concrete. The Cantor-dust domain \(\Omega_\alpha\) and the generalized von Koch snowflake \(S_a\) satisfy the quasihyperbolic boundary condition with explicitly computed admissible thresholds, and they are also John domains with explicit John constants: \[ \Omega_\alpha \text{ is } \frac{4.37}{\alpha}\text{-John for }\alpha\in[1/3,1),\qquad \Omega_\alpha \text{ is } \frac{3}{\alpha}\text{-John for }\alpha\in(0,1/3), \] while \[ S_a \text{ is } \max\Big\{2,\frac{4}{3(1-a)}\Big\}\text{-John}. \] These families provide quantitative laboratories for testing whether bilateral John behavior survives increasing fractal complexity [1205.1873]. The open directions recorded in the cited papers are largely questions about how much two-sided control can be recovered from one-sided John geometry plus analytic information. Huang–Wang highlight the problem of characterizing John domains that are quasihyperbolic \((b,\lambda)\)-uniform without assuming quasiconformal equivalence to a uniform domain [1104.5128]. The Orlicz–Poincaré papers ask, in effect, how far one can remove the “quasiconformally equivalent to a uniform domain” assumption in analytic characterizations of John domains [2305.04016, 2403.17943]. The Sobolev-extension paper points toward a broader mapping theory for “Bi-John pairs,” but leaves that as a heuristic extension rather than a theorem [2004.09669]. Taken together, the cited literature supports a precise encyclopedic summary. “Bi-John domain” is best regarded not as a single universally fixed definition, but as a family of two-sided John-type geometries. In bounded Euclidean settings, the strongest recurring model is “uniform domain = two-sided John + length control” [1104.5128]. In pairwise curve terms, cigar John, diameter John plus naturality, and quasihyperbolic cone-geodesic behavior are the principal realizations of that bilateral control [2401.08133, 2309.15452, 1104.5128]. In analytic applications, any such class sits above John domains and therefore inherits the broad John-domain theory of Poincaré, Korn, Hardy–Sobolev, trace, extension, and prime-end results developed across these papers [1612.04445, 1902.10578, 1709.03296, 1204.6444]. Source: https://www.emergentmind.com/topics/bi-john-domains