🔢 mathematics

Periodic Solutions to the Steady Viscous Burgers Equation: A Constructive Example

This paper presents a constructive, explicit Fourier series approach to generating periodic solutions for the steady viscous Burgers equation with external forcing that remain uniformly bounded with respect to viscosity and offer sharper convergence rates compared to previous results.

Original authors: Quansen Jiu, Yuhan Cao

Published 2026-08-07

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Quansen Jiu, Yuhan Cao

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine a world where fluids, like honey or air, flow through pipes and around objects. Sometimes, these flows are smooth and predictable; other times, they get chaotic, swirling into unpredictable eddies. Scientists use mathematical equations to predict this behavior, hoping to design better airplanes, understand weather patterns, or even model blood flow. One of the most famous equations for studying these flows is the "Burgers equation." Think of it as a simplified training ground for fluid dynamics. It captures the two main forces at play in a moving fluid: convection (where the fluid carries itself along, like a surfer riding a wave) and diffusion (where the fluid's internal friction, or "stickiness," tries to smooth out rough spots).

In the real world, fluids always have some "stickiness," known as viscosity. However, mathematically, it is often easier to study what happens when this stickiness is zero, creating a "non-viscous" or "inviscid" model. The big question for decades has been: if we start with a perfect, frictionless model and then slowly add a tiny bit of stickiness back in, does the solution change drastically, or does it stay close to the original? This is called the "inviscid limit." While mathematicians have proven that solutions exist, finding them explicitly—writing down a clear formula rather than just proving one exists—has been a tough nut to crack, especially when the fluid is being pushed by an outside force, like a pump or a wind gust.

This paper, titled "Periodic Solutions to the Steady Viscous Burgers Equation: A Constructive Example," tackles this problem head-on. The authors, Quansen Jiu and Yuhan Cao, don't just prove that a solution exists; they build one, piece by piece, using a method that feels like assembling a complex Lego structure. They focus on a specific scenario where the fluid is in a steady state (not changing over time) and is being pushed by a periodic force (a push that repeats in a regular pattern, like a heartbeat).

Their main achievement is a "constructive" approach. Instead of saying, "A solution is hiding somewhere in the math," they show you exactly how to find it. They start with a known, frictionless solution and then add layers of correction, like adding rungs to a ladder, to account for the viscosity (the stickiness). They use a tool called Fourier series, which is essentially a way of breaking down complex waves into simple, repeating sine and cosine waves (like how a prism breaks white light into a rainbow of colors). By doing this, they derive explicit formulas for each layer of the solution.

The paper proves that for a small amount of viscosity, the true solution is very close to their constructed approximation. In fact, they show that the difference between their formula and the real answer gets smaller and smaller as the viscosity decreases, and they can predict exactly how fast this happens. They also demonstrate that these solutions remain stable and bounded, meaning the fluid doesn't suddenly explode or behave wildly just because we added a tiny bit of friction.

To visualize their method, imagine trying to walk a tightrope in a strong wind (the external force). If there is no friction (inviscid), you might fall off immediately. But if you have a little friction (viscosity), you can balance. The authors start by calculating where you would fall without friction, and then they systematically calculate the tiny adjustments you need to make to stay on the rope as you add friction back in. They prove that these adjustments follow a clear, predictable pattern that can be written down in a formula.

The paper is particularly proud of its "sharper convergence rate." In plain English, this means their method is more precise than previous attempts. While earlier mathematicians (like Jauslin, Kreiss, and Moser) proved that a solution exists and is unique, this paper provides the actual recipe to cook it up. They show that by solving a series of simpler equations (recurrence relations), they can generate an approximation that is incredibly accurate, with the error shrinking rapidly as the viscosity gets smaller.

The authors also address a specific concern: what happens if the viscosity vanishes completely? They show that their constructed solution smoothly transitions into the non-viscous solution, confirming that the "sticky" and "frictionless" worlds are connected in a very orderly way. They use a clever mathematical trick involving a "shooting method," where they adjust the starting conditions of a differential equation until the solution loops back on itself perfectly, satisfying the periodic requirement.

In summary, this paper takes a notoriously difficult problem in fluid dynamics and solves it by building a detailed, step-by-step map. It confirms that for a specific type of forced, steady flow, we can not only prove a solution exists but can also write it down explicitly and understand exactly how it behaves as the fluid's stickiness changes. It's a victory for "constructive" mathematics, turning abstract existence proofs into concrete, usable formulas.

Technical Summary: Periodic Solutions to the Steady Viscous Burgers Equation

Problem Statement
This paper addresses the existence and construction of periodic solutions to the one-dimensional steady viscous Burgers equation with an external force:
$u u_x - \varepsilon u_{xx} = f(x), \quad x \in [0, 2\pi]$
where $\varepsilon > 0$ is the viscosity coefficient and $f(x)$ is a given $2\pi$ -periodic function. The primary objective is to construct a periodic solution $u_\varepsilon(x)$ that remains uniformly bounded with respect to the viscosity $\varepsilon$ as $\varepsilon \to 0$ . While previous works (e.g., Jauslin, Kreiss, and Moser [11]) established the existence and uniqueness of such solutions for specific forcing functions, this paper aims to provide an explicit, constructive procedure for generating these solutions and analyzing their convergence rates.

Methodology
The authors employ a direct Fourier series approach combined with asymptotic expansion and the method of upper and lower solutions. The methodology proceeds in two main stages:

Construction of Approximate Solutions ( $u_n$ ):
The authors assume a formal asymptotic expansion for the solution:
$u_\varepsilon(x) = u_0(x) + \varepsilon u_1(x) + \cdots + \varepsilon^n u_n(x) + \cdots$
By substituting this expansion into the governing equation, they derive a recurrence relation for the coefficients $u_k(x)$ :
$u_0(x)u_k(x) = u'_{k-1}(x) - \frac{1}{2} \sum_{i+j=k} u_i(x)u_j(x)$
Using a specific example where $u_0(x) = -(2 + \cos x)$ and $f(x) = u_0(x)u'_0(x)$ , the authors explicitly calculate the first few terms ( $u_1, u_2, u_3$ ) via Fourier series expansion. They prove by induction (Theorem 1.3 and Theorem 2.2) that for any $k$ , the coefficients of the Fourier series for $u_k$ follow a specific polynomial structure in $n$ (the mode number) multiplied by a geometric decay factor $t^n$ (where $t = -2+\sqrt{3}$ ). This ensures the absolute and uniform convergence of the approximate series.
Proof of Existence for the Exact Solution:
To prove that the formal series corresponds to an actual solution, the authors define an error function $v_{n+1}(x/\varepsilon)$ such that:
$u_\varepsilon(x) = \sum_{k=0}^n \varepsilon^k u_k(x) + \varepsilon^{n+1} v_{n+1}\left(\frac{x}{\varepsilon}\right)$
Substituting this into the original equation yields a nonlinear ordinary differential equation (ODE) for the error term $v_{n+1}$ . The problem is transformed into finding a periodic solution to this ODE on the interval $[0, 2\pi/\varepsilon]$ .
- Cauchy Problem: The authors first establish the existence of a unique local solution to the associated initial value problem.
- Uniform Bounds: Using the method of upper and lower solutions, they demonstrate that the solution exists on the entire interval $[0, 2\pi/\varepsilon]$ and is uniformly bounded with respect to $\varepsilon$ .
- Implicit Function Theorem: Finally, they define a mapping $\Phi_{n+1}(\varepsilon, y_{n+1})$ representing the periodicity condition. By analyzing the limit as $\varepsilon \to 0$ and proving the continuity and non-vanishing derivative of this mapping at $\varepsilon=0$ , they apply the Implicit Function Theorem to guarantee the existence of a unique initial condition $y_{n+1}$ that yields a periodic solution.

Key Results

Explicit Construction: The paper provides explicit formulas for the approximate solutions $u_k(x)$ up to any order $n$ , characterized by Fourier coefficients that are polynomials in the mode number $n$ scaled by a decaying geometric term.
Convergence Rate: The main result (Theorem 1.4) states that for any positive integer $n$ , there exists an $\varepsilon_0 > 0$ such that for $0 < \varepsilon < \varepsilon_0$ , the equation admits a periodic solution $u_\varepsilon \in C^2([0, 2\pi])$ satisfying:
$\| u_\varepsilon(x) - \sum_{k=0}^n \varepsilon^k u_k(x) \| \leq C \varepsilon^{n+1}$
where $C$ is a constant independent of $\varepsilon$ .
Uniform Boundedness: The constructed solutions and their derivatives are shown to be uniformly bounded with respect to the viscosity parameter $\varepsilon$ .

Significance and Claims
The authors claim that their approach offers a distinct advantage over previous existence proofs (such as those by Jauslin, Kreiss, and Moser [11]) by providing an explicit and constructive procedure for the periodic solutions. Unlike non-constructive existence theorems, this method yields the specific form of the approximate solutions via Fourier series. Furthermore, the paper asserts that this approach yields a sharper convergence rate (up to any arbitrary order $n$ ) as the viscosity vanishes, offering a more precise description of the inviscid limit behavior for the steady viscous Burgers equation with external forcing. The work is presented as a constructive example that complements existing theoretical results on the attractors and eternal trajectories of the forced Burgers equation.

More like this