Differentiability of Effective Fronts in the Continuous Setting in Two Dimensions

We study the effective front associated with first-order front propagations in two dimensions ($n=2$) in the periodic setting with continuous coefficients. Our main result says that that the boundary of the effective front is differentiable at every irrational point. Equivalently, the stable norm associated with a continuous ${\mathbb{Z}}<^>{2}$-periodic Riemannian metric is differentiable at irrational points. This conclusion was obtained decades ago for smooth metrics [, ]. To the best of our knowledge, our result provides the first nontrivial property of the effective fronts in the continuous setting, which is the standard assumption in the literature of partial differential equations (PDE). Combining with the sufficiency result in [], our result leads to a realization type conclusion: for continuous coefficients, a polygon could be an effective front if and only if it is centrally symmetric with rational vertices and nonempty interior.

Automated summary

We study the effective front associated with first-order front propagations in two dimensions with continuous coefficients. Our main result shows that the boundary of the effective front is differentiable at every irrational point. This is the first nontrivial property of the effective fronts in the continuous setting.