Birth of a Theorem: A Mathematical Adventure
272
Birth of a Theorem: A Mathematical Adventure
272eBook
Related collections and offers
Overview
In 2010, French mathematician Cédric Villani received the Fields Medal, the most coveted prize in mathematics, in recognition of a proof which he devised with his close collaborator Clément Mouhot to explain one of the most surprising theories in classical physics. Birth of a Theorem is Villani's own account of the years leading up to the award. It invites readers inside the mind of a great mathematician as he wrestles with the most important work of his career.
But you don't have to understand nonlinear Landau damping to love Birth of a Theorem. It doesn't simplify or overexplain; rather, it invites readers into collaboration. Villani's diaries, emails, and musings enmesh you in the process of discovery. You join him in unproductive lulls and late-night breakthroughs. You're privy to the dining-hall conversations at the world's greatest research institutions. Villani shares his favorite songs, his love of manga, and the imaginative stories he tells his children. In mathematics, as in any creative work, it is the thinker's whole life that propels discovery—and with Birth of a Theorem, Cédric Villani welcomes you into his.
Product Details
| ISBN-13: | 9780374710231 |
|---|---|
| Publisher: | Farrar, Straus and Giroux |
| Publication date: | 04/14/2015 |
| Sold by: | Macmillan |
| Format: | eBook |
| Pages: | 272 |
| File size: | 4 MB |
About the Author
Read an Excerpt
Birth of a Theorem
A Mathematical Adventure
By Cédric Villani, Claude Gondard, Malcolm DeBevoise
Farrar, Straus and Giroux
Copyright © 2012 Cédric VillaniAll rights reserved.
ISBN: 978-0-374-71023-1
CHAPTER 1
Lyon March 23, 2008
One o'clock on a Sunday afternoon. Normally the laboratory would be deserted, were it not for two busy mathematicians in need of a quiet place to talk—the office that I've occupied for eight years now on the third floor of a building on the campus of the École Normale Supérieure in Lyon.
I'm seated in a comfortable armchair, insistently tapping my fingers on the large desk in front of me. My fingers are spread apart like the legs of a spider. Just as my piano teacher trained me to do, years ago.
To my left, on a separate table, a computer workstation. To my right a cabinet containing several hundred works of mathematics and physics. Behind me, neatly arranged on long shelves, thousands and thousands of pages of articles, lawfully photocopied back in the days when scientific journals were still printed on paper, and a great many mathematical monographs, unlawfully photocopied back in the days when I didn't make enough money to buy all of the books I wanted. There are also a good three feet of rough drafts of my own work, meticulously archived over many years, and quite as many feet of handwritten notes, the legacy of hours and hours spent listening to research talks. In front of me, Gaspard, my laptop computer, named in honor of Gaspard Monge, the great mathematician and revolutionary. And a stack of pages covered with mathematical symbols—more notes from every one of the eight corners of the world, assembled especially for this occasion.
My partner, Clément Mouhot, stands to one side of the great whiteboard that takes up the entire wall in front of me, marker in hand, eyes sparkling.
"So what's up? Your message was pretty vague."
"My old demon's back again—regularity for the inhomogeneous Boltzmann."
"Conditional regularity? You mean, modulo minimal regularity bounds?"
"No, unconditional."
"Completely? Not even in a perturbative framework? You really think it's possible?"
"Yes, I do. I've been working on it again for a while now and I've made pretty good progress. I have some ideas. But now I'm stuck. I broke the problem down using a series of scale models, but even the simplest one baffles me. I thought I'd gotten a handle on it with a maximum principle argument, but everything fell apart. I need to talk."
"Go on, I'm listening. ..."
* * *
I went on for a long time. About the result I have in mind, the attempts I've made so far, the various pieces I can't fit together, the logical puzzle that so far has defeated me. The Boltzmann equation remains intractable.
Ah, the Boltzmann! The most beautiful equation in the world, as I once described it to a journalist. I fell under its spell when I was young—when I was writing my doctoral thesis. Since then I've studied every aspect of it. It's all there in Boltzmann's equation: statistical physics, time's arrow, fluid mechanics, probability theory, information theory, Fourier analysis, and more. Some people say that I understand the mathematical world of this equation better than anyone alive.
Seven years ago I initiated Clément into this mysterious world when he began his own thesis under my direction. He was eager to learn. Certainly he's the only person who has read everything I've written on Boltzmann's equation. Now Clément is a respected member of the profession, a mathematician in his own right, brilliant, eager to get on with his own research.
Seven years ago I helped him get started; today I'm the one who needs help. The problem I've chosen to work on is exceedingly difficult. I'll never solve it by myself. I've got to be able to explain what I've done so far to someone who knows the theory inside out.
"Let's assume grazing collisions, okay? A model without cutoff. Then the equation behaves like a fractional diffusion, degenerate, of course, but a diffusion just the same, and as soon as you've got bounds on density and temperature you can apply a Moser-style iteration scheme, modified to take nonlocality into account."
"A Moser scheme? Hmmmm ... Hold on a moment, I need to write this down."
"Yes, a Moser-style scheme. The key is that the Boltzmann operator ... true, the operator is bilinear, it's not local, but even so it's basically in divergence form—that's what makes the Moser scheme work. You make a nonlinear function change, you raise the power. ... You need a little more than temperature, of course, there's a matrix of moments of order 2 that have to be controlled. But the positivity is the main thing."
"Sorry, I don't follow—why isn't temperature enough?"
I paused to explain why, at some length. We discussed. We argued. Before long the board was flooded with symbols. Clément was still unsure about the positivity. How can strict positivity be proved without any regularity bound? Is such a thing even imaginable?
"It's not so shocking, when you think about it: collisions produce lower bounds; so does transport, in a confined system. So it makes sense. Unless we're completely missing something, the two effects ought to reinforce each other. Bernt tried a while ago, he gave up. A whole bunch of people have tried, but no one's had any luck so far. Still, it's plausible."
"You're sure that the transport is going to turn out to be positive without regularity? And yet without collisions, you bring over the same density value, it doesn't become more positive—"
"I know, but when you average the velocities, it strengthens the positivity—a little like what happens with the averaging lemmas for kinetic equations. But here we're dealing with positivity, not regularity. No one's really looked at it from this angle before. Which reminds me ... when was it? That's it! Two years ago, at Princeton, a Chinese postdoc asked me a somewhat similar question. You take a transport equation, in the torus, say. Assuming zero regularity, you want to show that the spatial density becomes strictly positive. Without regularity! He could do it for free transport, and for something more general on small time scales, but for larger times he was stymied. ... I remember asking other people about it at the time, but no one had a convincing answer."
"Back up. How did he handle the simple free transport case?"
"Free transport" is a piece of jargon that refers to an ideal gas in which the particles do not interact. The model is too simplified to be at all realistic, but you can still learn a lot from it.
"Not sure—but it should be obvious from an explicit solution. Let's try to figure it out, right now. ..."
Each of us set about reconstructing the argument that this postdoc, Dong Li, must have developed. No big deal, more like a minor exercise in problem solving. But maybe it will help us resolve the great enigma, who knows? And besides, it's a contest—who can come up with the answer first? We scribbled away in silence for a few minutes. I won.
"I think I've got it."
I got up and went over to the board, just like in school when the teacher shows the class how to solve a problem.
"You break down the solution in terms of the replicas of the torus ... you change the variables in each piece ... a Jacobian drops out, you use the Lipschitz regularity ... and finally you end up with convergence in 1/t. Slow, but it looks about right."
"But then you don't have regularization ... you get convergence by averaging ... by averaging. ..."
Clément was thinking out loud, staring at my calculation. Suddenly his face lit up. In a state of great excitement, he jabbed at the board with his index finger: "But then you'd have to check to see whether that helps with Landau damping!"
I was at a loss for words. Three seconds of silence. A vague feeling this could be important.
Now it was my turn to ask Clément to explain. He didn't know what to say either. He hemmed and hawed, shifting his weight from one foot to the other. Then he said that my solution reminded him of a conversation he'd had three years ago with a Chinese-born mathematician in the United States, Yan Guo, at Brown.
"In Landau damping you want to have relaxation for a reversible equation—"
"Yes, yes, I know. But doesn't interaction play a role? We're not dealing with the Vlasov here, it's just free transport!"
"Okay, maybe you're right, interaction must play a role—in which case ... the convergence should be exponential. Do you think 1/t is optimal?"
"Sounds right to me. What do you think?"
"But what if the regularity was stronger? Wouldn't it be better if it was?"
I groaned. Doubt mixed with concentration, interest with frustration.
We stood in silence, staring at each other, wondering where to go from here. After a while conversation resumed. As fascinating as it is, the weird (and possibly mythical) phenomenon of Landau damping has nothing to do with what we've set out to accomplish. A few more minutes passed and we'd moved on to something else. We talked for a long time. One topic led to another. We took notes, we argued, we got annoyed with each other, we reached agreement about a few things, we prepared a plan of attack. When we left my office a few hours later, Landau damping was nevertheless on our long list of homework assignments.
* * *
The Boltzmann equation,
[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]
discovered around 1870, models the evolution of a rarefied gas made of billions and billions of particles that collide with one another. The statistical distribution of the positions and velocities of these particles is represented by a function f(t, x, v), which at time t indicates the density of particles whose position is (roughly) x and whose velocity is (roughly) v.
Ludwig Boltzmann was the first to express the statistical notion of entropy, or disorder, in a gas:
[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]
By means of this equation he was able to prove that, moving from an initial arbitrarily fixed state, entropy can only increase over time, never decrease. Left to its own devices, in other words, the gas spontaneously becomes more and more disordered. He also proved that this process is irreversible.
In stating the principle of entropy increase, Boltzmann reformulated a law that had been discovered a few decades earlier, the second law of thermodynamics. But he did several things that enriched it immeasurably from the conceptual point of view. First, by providing a rigorous proof, he placed an experimentally observed regularity that had been elevated to the status of a natural law on a secure theoretical foundation; next, he introduced an extraordinarily fruitful mathematical interpretation of a mysterious phenomenon; finally, he reconciled microscopic physics—unpredictable, chaotic, and reversible—with macroscopic physics—predictable, stable, and irreversible. These achievements earned Boltzmann a place of honor in the pantheon of theoretical physicists and stimulated an enduring interest in his work among epistemologists and philosophers of science.
Additionally, Boltzmann defined the equilibrium state of a statistical system as the state of maximum entropy, thus founding a vast field of research known as equilibrium statistical physics. In so doing, he demonstrated that the most disordered state is the most natural state of all.
The triumphant young Boltzmann turned into a tormented old man who took his own life, in 1906. His treatise on the theory of gases appears in retrospect to have been one of the most important scientific works of the nineteenth century. And yet its predictions, though they have been repeatedly confirmed by experiment, still await a satisfactory mathematical explanation. One of the missing pieces of the puzzle is an understanding of the regularity of solutions to the Boltzmann equation. Despite this persistent uncertainty, or perhaps because of it, the Boltzmann equation is now the object of intensive theoretical investigation by an international community of mathematicians, physicists, and engineers who gather by the hundreds at conferences on rarefied gas dynamics and many other meetings every year.
CHAPTER 2Lyon Last week of March 2008
Landau damping!
In the days following our working session, a confused series of recollections came to me—snatches of conversation, discussions begun but never finished. ... Plasma physicists have long been used to the idea of Landau damping. But as far as mathematicians are concerned, the phenomenon remains a mystery.
In December 2006 I was visiting Oberwolfach, the legendary institute for mathematical research deep in the heart of the Black Forest, a retreat where mathematicians come and go in an unending ballet of the mind, giving talks on every subject imaginable. No locks on the doors, an open bar, cakes and pastries galore, small wooden cash boxes in which you put payment for food and drinks, tables at which your seat is determined by drawing lots.
One day chance placed me at the same table with two Americans, Robert Glassey and Eric Carlen, both of them authorities on the kinetic theory of gases. The evening before, at the opening of that week's seminar, I had proudly presented a whole batch of new results, and that same morning Eric had given a truly memorable performance, bursting with energy and jam-packed with ideas. The two events, coming one right after the other, were a bit overwhelming for Robert, who confessed to feeling old and worn out. "Time to retire," he sighed. "Retire?" Eric exclaimed in disbelief. There's never been a more exciting time in the theory of gases! "Retire?" I cried. Just when we are so urgently in need of the wisdom this man has accumulated in his thirty-five years as a professional mathematician!
"Robert, what can you tell me about the mysterious Landau damping effect? Do you think it's real?"
The words "weird" and "strange" stood out in Robert's reply. Yes, Maslov worked on it; yes, there is a paradox of reversibility that seems incompatible with Landau damping; no, it isn't at all clear what's going on. Eric suggested that the effect was chimerical—a product of physicists' fertile imaginations that had no hope of being rigorously formulated in mathematical terms. None of this meant much to me at the time, but I did manage to make a mental note and file it away in a corner of my brain.
Now here we are in 2008, and I don't know anything more about Landau damping than I did two years ago. Clément, on the other hand, had a chance to discuss the matter at length with Yan Guo, one of Robert's younger brothers in mathematics (they both had the same thesis director, twenty years apart). The heart of the difficulty, according to Yan, is that Landau didn't work on Vlasov's original model but on a simplified, linearized version. No one knows if what he found also applies to the "true" nonlinear model. Yan is fascinated by this problem—and he's not alone.
Could Clément and I tackle it? Sure, we could try. But in order to solve a problem, you've got to know at the outset exactly what the problem is! In mathematical research, clearly identifying what it is you are trying to do is a crucial, and often very tricky, first step.
And no matter what our objective might turn out to be, the only thing we'd be sure of to begin with is the Vlasov equation,
[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]
which determines the statistical properties of plasmas with exquisite precision. Mathematicians, like the poor Lady of Shalott in Tennyson's Arthurian ballad, cannot look at the world directly, only at its reflection—a mathematical reflection. It is therefore in the world of mathematical ideas, governed by logic alone, that we will have to track down Landau. ...
Neither Clément nor I have ever worked on this equation. But equations belong to everybody. We're going to roll up our sleeves and give it our best shot.
(Continues...)
Excerpted from Birth of a Theorem by Cédric Villani, Claude Gondard, Malcolm DeBevoise. Copyright © 2012 Cédric Villani. Excerpted by permission of Farrar, Straus and Giroux.
All rights reserved. No part of this excerpt may be reproduced or reprinted without permission in writing from the publisher.
Excerpts are provided by Dial-A-Book Inc. solely for the personal use of visitors to this web site.