Shift Invariant Subspaces, An Introduction

-

 Note: this was originally a thread on my twitter

Ok, I need to compile some knowledge in my brain, so let's talk about shift invariant subspaces!

First, we need to recall the Hardy space on the disk. This is a Hilbert space of analytic functions with square summable Taylor coefficients.

The Hardy space norm and inner product defined in terms of the coefficients
The Hardy space can be thought of either as functions analytic on the disk, or as a subspace of \(L^2(\mathbb{T})\) consisting of functions with all negative coefficients zero. Either way, power series are life, and we care about the coefficients.

Image 

There are lots of interesting bounded linear operators (or "operators" if you're me) on \(H^2\), but here I'll talk about two of the most important: the shift and backward shift.

The shift is multiplication by z. It gets its name from what that would do to the Taylor coefficients: it shifts them over by one. The shift is an isometry! Putting more zeros at the front isn't going to change the square sum of a sequence.

Image 

The backward shift does the opposite! You lose information in this case, because the constant term vanishes. The backward shift is a contraction! (Technically the shift is too, but its isometry-ness is more exciting)

Image 

One of the big things we're interested in in operator theory is Invariant Subspaces
In particular, we'd like to know what subspaces are invariant for the shift and the backward shift.

In order to talk about this, we need to define two delightfully named classes of functions: inner functions and outer functions.

Inner functions are those with boundary values of modulus 1 almost everywhere. Inner functions can also be subcategorized as either Blaschke* products or singular inner functions.
*Blaschke was a Nazi. We should rename these.Image 

Outer functions can be defined as an integral, but we'll have a nice classification of them shortly.

Image

It turns out that every Hardy space function can be factored as (Blaschke)(singular inner)(outer) where the Blaschke part contains all the information about the zeros.

(I haven't seen it written anywhere, but I'm pretty sure this is where the terms "inner" and "outer" come from: inner functions have zeros in the disk, outer functions can only have zeros outside the disk. I'll come back to that second part.)

Now, bringing this back to invariant subspaces: it's an important theorem due to Beurling that all proper shift invariant subspaces of the Hardy space are of the form \(uH^2\) where \(u\) is an inner function.Image 

As a corollary to this, we can see that functions that are cyclic (for the shift) are precisely the outer functions. (This is the thing about outer functions having zeros outside the disk: any zeros in the disk will still be there after multiplication by a polynomial, so you can't get all of \(H^2\))Image 

Another thing that's cool about our shift invariant subspaces is that they're Reproducing Kernel Hilbert Spaces! (Because the Hardy space is)

The reproducing kernel for our invariant subspace is exactly what you would expect: the reproducing kernel for the Hardy space multiplied appropriately by our inner function.
Image

So we've looked at subspaces of \(H^2\) that are invariant under the shift, but what about spaces invariant under the BACKWARD shift?????

That's the next post ;)
 

Comments

  1. Orr ShalitOctober 9, 2021 at 12:25 AM

    Thanks for making that comment about "inner" and "outer", these things should be discussed! I think that I heard this from Greg Knese (in the context of rational inner), and I also don't recall a reference where it is explained.

    ReplyDelete

Post a Comment

Popular posts from this blog

Frostman's Theorem surprises me

-
In my last post , I went into some detail about inner functions, Blaschke products, and singular inner functions. The interesting thing about inner functions that I'll care about here is how they act when you compose them with an automorphism of the disk. This is called a Frostman shift: Frostman shifts continue to be inner functions: inner functions have boundary value modulus 1 and Mobius transforms take the circle to the circle, so the composition also has boundary values modulus 1. What's WILD to me is that for "most" mobius transforms, the Frostman shift of ANY inner function will be a Blaschke product! This surprises me because Blaschke products have zeros in the disk and singular inner functions are zero free in the disk. The proof that Garcia, Mashreghi, and Ross provide is measure theoretic and broadly speaking, it works by showing that the measure for the singular inner part of a Frostman shift is zero (so when integrated and exponentiated, the singular in...
Read more

Two variable shift operators

-
Image
This is my first proper blog post that wasn't just adapted from a twitter thread! Yay! In my last post, I talked about model spaces: the subspaces of the Hardy space \(H^2\) that are shift invariant under the backward shift. One of the things I've been getting into lately is looking at model spaces in two variables, where the situation is more complicated. As a quick refresher, we're living on the Hardy space of the disk, consisting of analytic functions with square summable coefficients. Helpfully, this also corresponds to (radial limits) of integrals around a circle, so we can think of the Hardy space as a subspace of \(L^2(\mathbb{T})\).   Because these functions are analytic, we're thinking about them as a power series, so we can think about multiplication by \(z\) as shifting the coefficients, hence the name "the shift." If we can move coefficients one way, we might want to move them the other way, and this is the backwards shift:   Now, I want to talk ...
Read more

Boundary Values and Inner Functions

-
Image
Someday, I'll do a post that doesn't draw heavily from "Introduction to Model Spaces and their Operators" by Garcia, Mashreghi, and Ross, but today is not that day. I wish I had studied this book as a grad student: it's so well written! Anyway, let's talk about inner functions! First, we need to establish the world in which we live. Today, this is going to be the Banach space of analytic functions bounded on the unit disk, \(H^\infty(\mathbb{D})\). In a complex analysis class, you probably did the exercise where you express the Poisson kernel in a couple of different ways: as a "difference quotient," as the real part of a rational function analytic on the disk, as a geometric series, and in terms of the modulus and argument of the complex variable \(z=re^{i\theta}\): Since the Poisson kernel is the real part of an analytic function, it's harmonic, and taking derivatives, this lets us see that the Poisson integral of a measure \(\mu\) is (comple...
Read more