{
  "abstract": "This is the first part of a project concerning the regularity of the free boundary of a function, where the free boundary depends on the gradient of the function. We study the minimizer of the expression \\begin{equation*} J(u) : = \\int_{B_1} F(\\nabla u) \\ dx, \\end{equation*} where $F(x)$ is a uniformly convex function whose second derivatives might jump at $|x|=1$. This results in an Euler-Lagrange equation that varies over the free boundary, which we define as $$ Γ= \\partial \\{x \\in B_1: |\\nabla u| >1 \\} \\cap \\partial \\{x \\in B_1: |\\nabla u| <1 \\}. $$ We consider two-phase flat points for which the second derivatives of $F$ jump over $Γ$. In this paper, we show that under some regularity and non-degeneracy assumptions, a minimizer $u$ can be expressed as $$ u(x)= a + ν\\cdot x+ δp(x) + δεq(x), $$ where $a \\in \\mathbb{R}$, $ν\\in \\mathbb{R}^n$, $0 < δ, ε<< 1$. Here $p$ is a $C^1$ function, which consists of one polynomial in the upper half ball and another polynomial in the lower half ball. The function $q$ is a rest term with bounded $L^2$ norm. Furthermore, assuming that we have a sequence, $u^j$, of minimizers, we show that $q^j$ converges weakly to a function $q^0$ that satisfies a certain PDE. In addition, we show that $q^0$ is $C^3$ in $B_r^+$ and $B_r^-$, respectively, for $0<r<1$. This is the main result of this paper which is intended to be used to show regularity of the free boundary.",
  "abstract_shown": true,
  "affiliations": [],
  "article_type": null,
  "arxiv": "2609.11324",
  "author_total": 1,
  "authors": [
    {
      "name": "Frida Fejne"
    }
  ],
  "bibtex": "https://research.draconitic.com/paper/9xzhacb5kxndc.bib",
  "cited_by": 0,
  "doi": "10.48550/arxiv.2609.11324",
  "fulltext_url": null,
  "id": "9xzhacb5kxndc",
  "issns": [],
  "landing_url": "https://arxiv.org/abs/2609.11324",
  "language": null,
  "licence": "CC-BY-4.0",
  "licence_label": "CC BY 4.0",
  "licence_source": "article",
  "licence_url": "http://creativecommons.org/licenses/by/4.0/",
  "metadata_licence": "CC0-1.0",
  "native_subjects": [
    [
      "arxiv",
      "math.AP"
    ],
    [
      "openalex",
      "2604|Nonlinear Partial Differential Equations"
    ]
  ],
  "openalex": "W7212272690",
  "pdf_url": "https://arxiv.org/pdf/2609.11324",
  "pmcid": null,
  "pmid": null,
  "published": "2026-09-10",
  "publisher": null,
  "ris": "https://research.draconitic.com/paper/9xzhacb5kxndc.ris",
  "sources": [
    {
      "first_seen": "2026-10-30T12:20:30Z",
      "native_id": "2609.11324",
      "source": "arxiv",
      "url": "https://arxiv.org/abs/2609.11324"
    }
  ],
  "subjects": [
    {
      "field": "mathematics",
      "origin": "arxiv:math.AP",
      "subfield": "analysis-pdes"
    }
  ],
  "title": "Regularity of a free boundary determined by the value of the gradient. Part 1: Third order asymptotics",
  "title_text": "Regularity of a free boundary determined by the value of the gradient. Part 1: Third order asymptotics",
  "type": "preprint",
  "updated_at": "2026-10-30T12:20:30Z",
  "url": "https://research.draconitic.com/paper/9xzhacb5kxndc",
  "venue": "arXiv",
  "versions": []
}