One-phase free-boundary problems with degeneracy

In this paper, we study local minimizers of a degenerate version of the Alt-Caffarelli functional. Specifically, we consider local minimizers of the functional J(Q)(u,Omega):=integral(Omega)|del u|(2)+Q (x)(2 )chi({u>0})dx where Q(x)=dist(x,Gamma)(gamma) for gamma >0 and Gamma a C-1,C-alpha submanifold of dimension 0 <= k <= n-1. We show that the free boundary may be decomposed into a rectifiable set, on which we prove upper Minkowski content estimates, and a degenerate cusp set about which little can be said in general with the current techniques. Work in the theory of water waves and the Stokes wave serves as our inspiration, however the main thrust of this paper is to study the geometry of the free boundary for degenerate one-phase Bernoulli free-boundary problems in the context of local minimizers.