Birth of a Theorem: A Mathematical Adventure - Hardcover

Hardcover

ISBN 10: 0865477671 ISBN 13: 9780865477674

Verlag: FABER & FABER, 2015

Inhaltsangabe

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.

Über diesen Titel

Über die Autorin bzw. den Autor

Cédric Villani is the director of the Institut Henri Poincaré in Paris and a professor of mathematics at the Université de Lyon. His work on partial differential equations and various topics in mathematical physics has been honored by a number of awards, including the Fermat Prize and the Henri Poincaré Prize. He received the Fields Medal in 2010 for results concerning Landau damping and the Boltzmann equation.

Malcolm DeBevoise's translations, from the French and Italian, including more than thirty works in every branch of scholarship, have been widely praised. He lives in New Orleans.

Auszug. © Genehmigter Nachdruck. Alle Rechte vorbehalten.

Birth of a Theorem

A Mathematical Adventure

By Cédric Villani, Claude Gondard, Malcolm DeBevoise

Farrar, Straus and Giroux

Copyright © 2012 Cédric Villani
All rights reserved.

ISBN: 978-0-86547-767-4

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...

Details zur Ausgabe

• Verlag: FABER & FABER
• Erscheinungsdatum: 2015
• Sprache: Englisch
• ISBN 10: 0865477671
• ISBN 13: 9780865477674
• Einband: Gebundene Ausgabe
• Anzahl der Seiten: 272
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Pan Macmillan; generalproductsafety@macmillan.com; ; 1st Floor The Liffey Trust Centre 117-126 Sheriff Street Upper; Dublin; D01 YC43; Irland