querent

Spam yourself with math PhD qualifying-exam questions.

Showing 731–740 of 816
Stanford Spring 2026, 3 Real analysis, norm equivalence, continuity

Show that there is no norm on 𝐢0([0,1]) such that convergence with respect to this norm is the same as pointwise convergence.

UC Irvine Spring 2026, 3 Real analysis, improper integrals, convergence

Does the integral

∫0∞11+π‘₯4cos2π‘₯dπ‘₯

converge? Justify your answer.

UC Irvine Spring 2026, 3 Real analysis, dominated convergence, L^1 functions

Assume that π‘“βˆˆπΏ1([0,1]). Compute

limπ‘˜β†’βˆžβˆ«[0,1]|𝑓(π‘₯)|1/π‘˜dπ‘₯.

Justify your answer.

Stanford Spring 2026, 4 Real analysis, reflexivity, dual spaces, Hilbert space geometry

(a) Suppose 𝑋,𝑍 are reflexive Banach spaces, 𝑗:𝑋→𝑍 a continuous injection (so one can consider 𝑋 a subspace of 𝑍) with dense range. Show that π‘—βˆ—:π‘βˆ—β†’π‘‹βˆ— is also a continuous injection with a dense range.

(b) Suppose now 𝑉,𝑍,𝑋1,𝑋2 are Hilbert spaces with π‘‰βŠ‚π‘‹π‘–βŠ‚π‘ for 𝑖=1,2 where all inclusions are continuous injections with dense range. Equip 𝑋1βˆ©π‘‹2βŠ‚π‘ with the norm ‖𝑧‖𝑋1+‖𝑧‖𝑋2. Show that for every πœ†βˆˆ(𝑋1βˆ©π‘‹2)βˆ—, there exist πœ‡1βˆˆπ‘‹1βˆ— and πœ‡2βˆˆπ‘‹2βˆ— (both identified with subspaces of π‘‰βˆ—) such that πœ†=πœ‡1|𝑋1βˆ©π‘‹2+πœ‡2|𝑋1βˆ©π‘‹2.

Stanford Spring 2026, 4 Real analysis, strong operator topology, compact operators, uniform boundedness

Let 𝐻 be a separable Hilbert space. Suppose 𝐴𝑛,𝐴:𝐻→𝐻 are bounded linear operators such that 𝐴𝑛→𝐴 in the strong operator topology.

(a) Show that ‖𝐴𝑛‖ℒ︀(𝐻,𝐻) is bounded.

(b) Suppose that 𝐾:𝐻→𝐻 is a compact linear operator. Show that 𝐴𝑛𝐾→𝐴𝐾 in operator norm.

UC Irvine Spring 2026, 4 Real analysis, compactness, connectedness, metric spaces

(a) Show that if 𝑀 is a compact connected metric space, and 𝑓:𝑀→ℝ is continuous, then the image 𝑓(𝑀)βŠ‚β„ is a finite closed interval.

(b) Suppose 𝑀 is a metric space such that for any continuous function 𝑓:𝑀→ℝ, the image 𝑓(𝑀)βŠ‚β„ is a finite closed interval. Show that 𝑀 must be compact and connected.

UC Irvine Spring 2026, 4 Real analysis, uncountable sets, condensation points

Let πΈβŠ‚β„ be uncountable. Prove that there exists π‘₯0∈𝐸 such that, for every 𝛿>0,

𝐸∩(π‘₯0βˆ’π›Ώ,π‘₯0+𝛿)

is uncountable.

Stanford Spring 2026, 5 Real analysis, martingales, Lebesgue measure, dyadic averages

Let 𝑓:ℝ→[0,∞) be a measurable function supported on [0,1]. For each π‘˜βˆˆβ„€β‰₯0, define

πΈπ‘˜π‘“=βˆ‘π‘š=02π‘˜βˆ’1(2π‘˜βˆ«2βˆ’π‘˜π‘š2βˆ’π‘˜(π‘š+1)𝑓(π‘₯)dπ‘₯)πŸ™[2βˆ’π‘˜π‘š,2βˆ’π‘˜(π‘š+1)],

where πŸ™[2βˆ’π‘˜π‘š,2βˆ’π‘˜(π‘š+1)] denotes the indicator function of the interval [2βˆ’π‘˜π‘š,2βˆ’π‘˜(π‘š+1)]. Prove that for any 0β‰€π‘˜β‰€β„“ integers,

∫01𝑓(π‘₯)(πΈπ‘˜π‘“)(π‘₯)(𝐸ℓ𝑓)(π‘₯)dπ‘₯β‰₯(∫01𝑓(π‘₯)dπ‘₯)3.
Stanford Spring 2026, 5 Real analysis, Sobolev spaces, Fourier series, contraction mapping

In this problem, ⊀=ℝ/β„€ and 𝐻2(⊀)={π‘“βˆˆπΏ2(⊀)|‖𝑓‖𝐻2(⊀)<∞}, where ‖𝑓‖𝐻2(⊀)2=βˆ‘π‘˜βˆˆβ„€(1+|π‘˜|2)2|β„±οΈ€(𝑓)|2(π‘˜), and β„±οΈ€ denotes the Fourier series map.

(a) Let 𝑇:𝐢∞(⊀)β†’πΆβˆž(⊀) be the linear operator given by 𝑇(𝑓)=βˆ’π‘“β€³+𝑓. Prove that 𝑇 extends to an operator 𝑇̃:𝐻2(⊀)→𝐿2(⊀) and that 𝑇̃ is invertible.

(b) Prove that there exists 𝐢>0 such that the following holds for all π‘“βˆˆπ»2(⊀):

‖𝑓3‖𝐿2(⊀)≀𝐢‖𝑓‖𝐻2(⊀)3.

(c) Prove that there exists an πœ–>0 such that

𝑇̃(𝑓)=𝑓3+𝑔

has a solution π‘“βˆˆπ»2(⊀) whenever ‖𝑔‖𝐿2(⊀)β‰€πœ–. (Hint: Define 𝑆:𝐻2(⊀)→𝐻2(⊀) by 𝑆(𝑓)=π‘‡Μƒβˆ’1(𝑓3+𝑔). To show that 𝑆 has a fixed point, it suffices by the contraction mapping principle to show that there exists a closed subset β„¬οΈ€βŠ‚π»2(⊀) such that 𝑆(ℬ︀)βŠ‚β„¬οΈ€ and that there exists π‘Ÿβˆˆ(0,1) such that ‖𝑆(𝑓1)βˆ’π‘†(𝑓2)‖𝐻2(⊀)β‰€π‘Ÿβ€–π‘“1βˆ’π‘“2‖𝐻2(⊀) whenever 𝑓1,𝑓2βˆˆβ„¬οΈ€.)

UC Irvine Spring 2026, 5 Real analysis, Weierstrass approximation, polynomial approximation, derivatives

Show that for any continuously differentiable function 𝑓:[0,1]→ℝ and any πœ€>0, there exists a polynomial 𝑝(π‘₯) such that

supπ‘₯∈[0,1]|𝑝(π‘₯)βˆ’π‘“(π‘₯)|<πœ€, |𝑝′(0)βˆ’π‘“β€²(0)|<πœ€,

and

|𝑝′(1)βˆ’π‘“β€²(1)|<πœ€.
Questions per page