skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


This content will become publicly available on June 1, 2026

Title: Regularity and nondegeneracy for nonlocal Bernoulli problems with variable kernels
We consider a generalization of the Bernoulli free boundary problem where the underlying differential operator is a nonlocal, non-translation-invariant elliptic operator of order 2 s ∈<#comment/> ( 0 , 2 ) 2s\in (0,2) . Because of the lack of translation invariance, the Caffarelli-Silvestre extension is unavailable, and we must work with the nonlocal problem directly instead of transforming to a thin free boundary problem. We prove global Hölder continuity of minimizers for both the one- and two-phase problems. Next, for the one-phase problem, we show Hölder continuity at the free boundary with the optimal exponent s s . We also prove matching nondegeneracy estimates. A key novelty of our work is that all our findings hold without requiring any regularity assumptions on the kernel of the nonlocal operator. This characteristic makes them crucial in the development of a universal regularity theory for nonlocal free boundary problems.  more » « less
Award ID(s):
2213407
PAR ID:
10611512
Author(s) / Creator(s):
;
Publisher / Repository:
American Mathematical Society
Date Published:
Journal Name:
Transactions of the American Mathematical Society
Volume:
378
Issue:
1093
ISSN:
0002-9947
Page Range / eLocation ID:
4109 to 4127
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We study regularity of solutions u u to ∂<#comment/> ¯<#comment/> u = f \overline \partial u=f on a relatively compact C 2 C^2 domain D D in a complex manifold of dimension n n , where f f is a ( 0 , q ) (0,q) form. Assume that there are either ( q + 1 ) (q+1) negative or ( n −<#comment/> q ) (n-q) positive Levi eigenvalues at each point of boundary ∂<#comment/> D \partial D . Under the necessary condition that a locally L 2 L^2 solution exists on the domain, we show the existence of the solutions on the closure of the domain that gain 1 / 2 1/2 derivative when q = 1 q=1 and f f is in the Hölder–Zygmund space Λ<#comment/> r ( D ) \Lambda ^r( D) with r > 1 r>1 . For q > 1 q>1 , the same regularity for the solutions is achieved when ∂<#comment/> D \partial D is either sufficiently smooth or of ( n −<#comment/> q ) (n-q) positive Levi eigenvalues everywhere on ∂<#comment/> D \partial D
    more » « less
  2. Let f f be analytic on [ 0 , 1 ] [0,1] with | f ( k ) ( 1 / 2 ) | ⩽<#comment/> A α<#comment/> k k ! |f^{(k)}(1/2)|\leqslant A\alpha ^kk! for some constants A A and α<#comment/> > 2 \alpha >2 and all k ⩾<#comment/> 1 k\geqslant 1 . We show that the median estimate of μ<#comment/> = ∫<#comment/> 0 1 f ( x ) d x \mu =\int _0^1f(x)\,\mathrm {d} x under random linear scrambling with n = 2 m n=2^m points converges at the rate O ( n −<#comment/> c log ⁡<#comment/> ( n ) ) O(n^{-c\log (n)}) for any c > 3 log ⁡<#comment/> ( 2 ) / π<#comment/> 2 ≈<#comment/> 0.21 c> 3\log (2)/\pi ^2\approx 0.21 . We also get a super-polynomial convergence rate for the sample median of 2 k −<#comment/> 1 2k-1 random linearly scrambled estimates, when k / m k/m is bounded away from zero. When f f has a p p ’th derivative that satisfies a λ<#comment/> \lambda -Hölder condition then the median of means has error O ( n −<#comment/> ( p + λ<#comment/> ) + ϵ<#comment/> ) O( n^{-(p+\lambda )+\epsilon }) for any ϵ<#comment/> > 0 \epsilon >0 , if k →<#comment/> ∞<#comment/> k\to \infty as m →<#comment/> ∞<#comment/> m\to \infty . The proof techniques use methods from analytic combinatorics that have not previously been applied to quasi-Monte Carlo methods, most notably an asymptotic expression from Hardy and Ramanujan on the number of partitions of a natural number. 
    more » « less
  3. In this paper we consider which families of finite simple groups G G have the property that for each ϵ<#comment/> > 0 \epsilon > 0 there exists N > 0 N > 0 such that, if | G | ≥<#comment/> N |G| \ge N and S , T S, T are normal subsets of G G with at least ϵ<#comment/> | G | \epsilon |G| elements each, then every non-trivial element of G G is the product of an element of S S and an element of T T . We show that this holds in a strong and effective sense for finite simple groups of Lie type of bounded rank, while it does not hold for alternating groups or groups of the form P S L n ( q ) \mathrm {PSL}_n(q) where q q is fixed and n →<#comment/> ∞<#comment/> n\to \infty . However, in the case S = T S=T and G G alternating this holds with an explicit bound on N N in terms of ϵ<#comment/> \epsilon . Related problems and applications are also discussed. In particular we show that, if w 1 , w 2 w_1, w_2 are non-trivial words, G G is a finite simple group of Lie type of bounded rank, and for g ∈<#comment/> G g \in G , P w 1 ( G ) , w 2 ( G ) ( g ) P_{w_1(G),w_2(G)}(g) denotes the probability that g 1 g 2 = g g_1g_2 = g where g i ∈<#comment/> w i ( G ) g_i \in w_i(G) are chosen uniformly and independently, then, as | G | →<#comment/> ∞<#comment/> |G| \to \infty , the distribution P w 1 ( G ) , w 2 ( G ) P_{w_1(G),w_2(G)} tends to the uniform distribution on G G with respect to the L ∞<#comment/> L^{\infty } norm. 
    more » « less
  4. We develop a higher semiadditive version of Grothendieck-Witt theory. We then apply the theory in the case of a finite field to study the higher semiadditive structure of the K ( 1 ) K(1) -local sphere S K ( 1 ) \mathbb {S}_{K(1)} at the prime 2 2 , in particular realizing the non- 2 2 -adic rational element 1 + ε<#comment/> ∈<#comment/> π<#comment/> 0 S K ( 1 ) 1+\varepsilon \in \pi _0\mathbb {S}_{K(1)} as a “semiadditive cardinality.” As a further application, we compute and clarify certain power operations in π<#comment/> 0 S K ( 1 ) \pi _0\mathbb {S}_{K(1)}
    more » « less
  5. In this paper, we consider higher regularity of a weak solution ( u , p ) (\mathbf {u},p) to stationary Stokes systems with variable coefficients. Under the assumptions that coefficients and data are piecewise C s , δ<#comment/> C^{s,\delta } in a bounded domain consisting of a finite number of subdomains with interfacial boundaries in C s + 1 , μ<#comment/> C^{s+1,\mu } , where s s is a positive integer, δ<#comment/> ∈<#comment/> ( 0 , 1 ) \delta \in (0,1) , and μ<#comment/> ∈<#comment/> ( 0 , 1 ] \mu \in (0,1] , we show that D u D\mathbf {u} and p p are piecewise C s , δ<#comment/> μ<#comment/> C^{s,\delta _{\mu }} , where δ<#comment/> μ<#comment/> = min { 1 2 , μ<#comment/> , δ<#comment/> } \delta _{\mu }=\min \big \{\frac {1}{2},\mu ,\delta \big \} . Our result is new even in the 2D case with piecewise constant coefficients. 
    more » « less