A non-trivial conservation law with a trivial characteristic

This paper demonstrates that the conservation law of the overdetermined system defined by $u_t - 4u_x^3 - u_{xxx} = 0$ and $u_y = 0$ is non-trivial, even though its associated characteristic $(u_{xy}, 0)$ vanishes on the system.

The Gist

The Big Picture: A "Ghost" Conservation Law

Imagine you are a detective trying to solve a mystery in a complex city (the world of differential equations). Your job is to find "Conservation Laws." In physics and math, a conservation law is like a rule that says, "No matter how things change, this specific amount of stuff (like energy or momentum) stays the same."

Usually, to find these laws, you look for a "fingerprint" called a Characteristic. Think of the characteristic as the unique ID card or the DNA of the conservation law.

• The Standard Rule: If the ID card is blank (zero), the law is fake (trivial). If the ID card has a number on it, the law is real (non-trivial).
• The Mystery: For decades, mathematicians believed this rule was absolute. They thought, "If the ID card is blank, the law doesn't exist."

This paper proves that rule wrong. The author, Kostya Druzhkov, found a "ghost" conservation law. It is a real, non-trivial law, but its ID card (characteristic) is completely blank. It's like finding a bank account with a massive balance, but the bank says, "This account number is zero, so it must be empty."

---

The Analogy: The Silent Alarm System

To understand how this happens, let's use an analogy of a Silent Alarm System in a house.

1. The House (The System): Imagine a house with a very specific set of rules for how the lights and doors move. In math, this is the "Overdetermined System" (Equation 1.1 in the paper). It's a system with two variables: time ($t$) and space ($x$), plus a weird extra dimension ($y$) that is frozen (nothing changes in $y$).
2. The Conservation Law (The Hidden Treasure): Inside this house, there is a hidden treasure (a conserved quantity). It's real. If you move around the house, this treasure stays constant.
3. The Characteristic (The Alarm Trigger): Usually, to prove the treasure exists, you need to trigger an alarm. The alarm is the "Characteristic." If you push the button (calculate the characteristic), and it beeps (is non-zero), you know the treasure is there.
4. The Twist: In this specific house, the alarm button is broken. When you push it, it makes no sound (it is zero).
   • Old Thinking: "No beep? No treasure."
   • Druzhkov's Discovery: "The treasure is still there! The alarm is just broken because of how the house is built."

How Did He Find It? (The Magic Trick)

The author didn't just guess; he used a clever mathematical "magic trick" involving dimensions.

1. The Source (The mKdV Equation): He started with a famous, well-behaved equation called the "potential mKdV." This equation is like a perfectly tuned musical instrument. It has a special property called a Presymplectic Structure.

   • Analogy: Think of this structure as a hidden "energy map" of the instrument. It's a complex pattern that tells you how the instrument vibrates.
   • The Discovery: Druzhkov proved that this energy map is real and unique. It cannot be simplified away. It's a fundamental part of the instrument's geometry.

2. The Expansion (Adding a Dimension): He then took this instrument and added a new room to the house (the $y$-dimension). But he made a rule: "In this new room, nothing moves."

   • Mathematically, he added a variable $y$ where the derivative is zero ($u_y = 0$).

3. The Result: When he looked at the conservation laws in this expanded house, he found the "Ghost Law."

   • The law is based on the "energy map" from the original instrument.
   • However, because the new room is frozen, the "fingerprint" (characteristic) of this law vanishes. It looks like zero.
   • But the law itself is not zero. It is a real, physical quantity that is conserved.

Why Does This Matter?

You might ask, "So what? Who cares about a broken alarm?"

This is a big deal for mathematicians and physicists for two reasons:

1. Breaking the Rules: It shatters a long-held belief that "Trivial Characteristic = Trivial Law." It shows that the relationship between the "fingerprint" and the "law" is not always one-to-one. Sometimes, the fingerprint is invisible, but the law is loud and clear.
2. New Tools for Physics: In physics, we often look for conservation laws to understand how the universe works (like conservation of energy). If we only look for laws with "loud" fingerprints, we might be missing "silent" laws that are actually very important. This paper tells us to look deeper, even when the usual tools say "nothing here."

The "Elevator Pitch" Summary

• The Problem: Mathematicians thought you could only have a real conservation law if its "ID card" (characteristic) was non-zero.
• The Discovery: The author found a system where a real conservation law exists, but its ID card is zero.
• The Method: He took a known, complex equation, added a frozen dimension to it, and showed that a hidden geometric structure (a presymplectic structure) from the original equation turned into a "ghost" conservation law in the new one.
• The Takeaway: Just because a mathematical tool says "zero," it doesn't mean "nothing." Sometimes, the most interesting things are the ones that are invisible to our standard detectors.

In short, Druzhkov found a ghost in the machine that is real, even though the machine's sensors say it's empty.

Technical Summary

1. Problem Statement

The paper addresses a fundamental question in the geometric theory of differential equations regarding the relationship between conservation laws and their characteristics (or cosymmetries).

• Standard Context: In the theory of $\ell$-normal systems (a broad class including most standard evolution equations), there is a one-to-one correspondence between non-trivial conservation laws and non-trivial characteristics. A conservation law is generally considered "trivial" if its characteristic vanishes on the solution manifold of the system.
• The Core Question: Do there exist differential systems that admit proper (non-trivial) conservation laws associated with trivial characteristics (i.e., characteristics that vanish identically on the system)?
• Historical Gap: While this question was raised by P. Olver for Lagrangian systems, no explicit examples were known prior to this work, even for non-Lagrangian systems. The paper aims to construct such an example and analyze its geometric origin.

2. Methodology

The author employs the Vinogradov C-spectral sequence, a powerful tool from the intrinsic geometry of differential equations, to analyze the cohomology of the system.

• Geometric Framework: The analysis is conducted on the infinite prolongation $E$ of differential equations. The paper utilizes:
  • Jet bundles ($J^\infty(\pi)$): To handle infinite derivatives.
  • Cartan Distribution: To define the geometry of solutions.
  • C-spectral Sequence ($E_r^{p,q}$): Specifically focusing on the groups $E_2^{0, n-1}$ (conservation laws) and $E_2^{2, n-1}$ (presymplectic structures).
• Key Concepts Used:
  • Cosymmetries: Elements of the kernel of the adjoint linearization operator ($l^*_E$).
  • Presymplectic Structures: $d_1$-closed variational 2-forms.
  • Internal Lagrangians: Lagrangians whose variational derivatives vanish on the system but which are not total divergences.
• Strategy:
  1. Analyze the potential mKdV equation ($u_t - 4u_x^3 - u_{xxx} = 0$) to identify a non-trivial presymplectic structure that is not generated by cosymmetries.
  2. Construct an overdetermined system by adding a trivial variable $y$ (where $u_y = 0$).
  3. Demonstrate that the non-trivial presymplectic structure of the original system promotes to a non-trivial conservation law in the extended system.
  4. Prove that the characteristic of this new conservation law vanishes on the extended system.

3. Key Contributions and Results

A. Analysis of the Potential mKdV Equation

The author first investigates the potential modified Korteweg-de Vries (mKdV) equation:
$$u_t - 4u_x^3 - u_{xxx} = 0$$

• Presymplectic Structure: The paper identifies a presymplectic structure $\Omega$ corresponding to the operator $\Delta = D_x$ (the total derivative with respect to $x$).
• Non-Triviality Proof (Theorem 1): The author proves that $\Omega$ represents a non-trivial element of the group $E_2^{2,1}(E)$.
  • Method: By contradiction. Assuming $\Omega$ is $d_1$-exact (i.e., generated by a cosymmetry $\psi$), the author uses scaling symmetries and order arguments (Lemma 1–5) to show that no such lowest-order cosymmetry $\psi$ can exist. Specifically, the scaling symmetry $X$ implies that if a potential exists, a lower-order potential must also exist, leading to an infinite descent contradiction.
• Significance: This establishes that for the potential mKdV, the presymplectic structure is not derived from any cosymmetry, meaning the group $E_2^{2,1}$ is non-trivial.

B. Construction of the Counter-Example (Theorem 2 & 3)

The paper constructs an overdetermined system by extending the potential mKdV with a new independent variable $y$ and the constraint $u_y = 0$:
$$\begin{cases} u_t - 4u_x^3 - u_{xxx} = 0 \\ u_y = 0 \end{cases}$$

• The Conservation Law: The author considers the horizontal form derived from the Lagrangian density of the mKdV:
  $$\lambda = \frac{1}{2}u_t u_x - u_x^4 + \frac{1}{2}u_{xx}^2$$
  The conservation law is defined by the total divergence $D_t(0) + D_x(0) + D_y(\lambda) = 0$.
• Trivial Characteristic: The characteristic associated with this conservation law is $Q = (u_{xy}, 0)$. On the solution manifold of the system (where $u_y=0 \implies u_{xy}=0$), this characteristic vanishes identically.
• Non-Triviality (Theorem 2 & 4): Despite the vanishing characteristic, the conservation law is non-trivial.
  • Reasoning: If the conservation law were trivial, $\lambda$ would have to be a total divergence on the original mKdV system. However, Theorem 2 establishes that the non-triviality of the presymplectic structure in the original system implies that $\lambda$ is not a total divergence on the mKdV.
  • Therefore, the conservation law in the extended system is proper, yet its characteristic is trivial.

C. Homotopy and Symmetry Reduction

• Homotopy Equivalence: The paper uses the concept of DE-morphisms and homotopy to show that the C-spectral sequence of the extended system is isomorphic to that of the original system. This explains why the non-triviality of the presymplectic structure "lifts" to a non-trivial conservation law in the extended system.
• Symmetry Reduction: The example is also interpreted as a symmetry reduction of a higher-dimensional equation ($u_t = 4u_x^3 + u_{xxx} + u_{yyy}$) under the symmetry $\partial_y$. The conservation law arises from a Noether symmetry of the parent system that becomes trivial upon restriction to the invariant solutions.

4. Significance and Implications

1. Refutation of a Common Assumption: The paper definitively shows that the condition "non-trivial characteristic" is not necessary for a conservation law to be non-trivial. This breaks the standard intuition derived from $\ell$-normal systems.
2. Geometric Insight: It highlights the role of presymplectic structures and internal Lagrangians. The existence of a non-trivial element in $E_2^{2, n-1}$ (a presymplectic structure not coming from cosymmetries) is the geometric mechanism that allows for conservation laws with trivial characteristics in overdetermined systems.
3. Future Research Directions:
   • The author suggests that finding a Lagrangian system (without gauge symmetries) with non-trivial $E_2^{0, n-1}$ elements is a difficult open problem. If found, Noether's theorem would fail to describe all proper conservation laws for that system.
   • It opens the door to studying "hidden" internal Lagrangians whose corresponding presymplectic structures are zero.

Summary Conclusion

Kostya Druzhkov provides the first known example of a differential system admitting a proper conservation law with a trivial characteristic. By analyzing the potential mKdV equation and its extension, the author demonstrates that non-trivial presymplectic structures (which are not generated by cosymmetries) can induce non-trivial conservation laws in overdetermined systems where the associated characteristic vanishes. This result deepens the understanding of the C-spectral sequence and the geometric classification of conservation laws beyond the scope of standard Lagrangian mechanics.