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