Analytic continuation
Analytic continuation is the technique Riemann used to extend the zeta function beyond the region where its series definition works. The core insight from complex analysis is that if a well-behaved function can be extended at all, there is exactly one way to do it. That uniqueness is what makes the extension legitimate rather than arbitrary: once you find a function that agrees on the known region and stays smooth and differentiable everywhere else, you have found the only possible answer. Riemann's extension works by replacing the original series with a different formula involving the gamma function and a symmetry that flips the left and right sides of the complex plane.
- The original series definition of the zeta function, summing one over a power plus two over a power and so on, breaks down for inputs on the left half of the complex plane, which is exactly the region analytic continuation is needed to reach.
- The replacement formula Riemann constructs involves 2 to a power, pi to a power, the gamma function of a shifted variable, and the zeta function evaluated at the flipped input, all multiplied together.
- The smoothness condition that makes uniqueness possible is differentiability across the entire complex plane, meaning every grid line in the complex domain must connect without breaks or kinks.
Transcript
This chapter, from the episode video's captions · 554 words
30:26>> The idea is can't we just extend what we're already seeing? >> Exactly. That's what Reman said. He's like, can I just extend what I'm already seeing? I know that it doesn't make sense, right? in terms of like maybe in terms of like yeah, you tell me to plug in zero, it's not going to make sense cuz I'm just adding 1111. But in terms of what I'm seeing over here, it kind of makes sense, right? There's a world in which this could make sense. [laughter] That's what Remon's thinking to himself as he's looking at this thing, right? >> And so that's exactly what he does. He says if I don't rely on the pesky if I don't rely on the pesky series representation right which is this one over a power
31:08plus 2 over a power plus 3 over a power instead I make up another function that behaves the same way on the right hand side and it looks like that two uh 2 to the power * pi to the power minus one time s of something time the gamma function of something time the remon zeta of the flip hand flip left hand side. So if he says if I want to get to that part, I can take the part that's on the right, flip it, multiply it by like the gamma function of 1 - s, multiply by all this other stuff, and I'll be fine. >> It's just it it'll be fine. >> Okay, it'll be fine because and this is the magic of complex analysis. >> It turns out there's a very good reason,
31:49right, >> why complex functions do this. Okay, >> I can just flip it on the other side of the board. >> Yeah. and and and make a little bit of correction but all of the grid lines are going to be smooth now the whole thing is going to be differentiable >> and the fact of the matter is this is called analytic continuation >> okay >> okay what it means is I can take a function that is well behaved in one part >> and if I want to extend it there is only one way to extend it >> that's the key this isn't an arbit this is not an arbitrary extension >> what complex analysis shows is there is only one way to do So if you found the way that's it >> that's it. Yeah >> that's it. You have found the
32:29continuation of that function. There's only one way to do it. >> Okay. And so this isn't like >> it it is imaginary. I mean it's in complex variable. So there's an imaginary unit in it. Right. But the imag there's only one way to imagine >> it in this imaginary space >> as to to to create everything and make sure that everything is um sound and logically closed. There's only one way to imagine it. There's a there the logical consistency only has one answer. >> Exactly. And so that is the extension that is the analytic continuation of a meamorphic function outside of its domain where it's like nicely well behaved. Now it's everywhere. Okay. >> Mhm. >> That's the key thing that Remon
33:11discovers. Okay. Side note,
From What Claude Actually Did to the Riemann Hypothesis
Claude takes a real run at the Riemann Hypothesis, forcing us to ask what agentic AI can now do in mathematics, before we open the summer transfer window for America’s scientists.