Prefer a chat interface with context about you and your work?
Beurling’s theorem for the Hardy operator on $$L^2[0,1]$$