querent

Spam yourself with math PhD qualifying-exam questions.

Showing 361โ€“370 of 816
Stanford Fall 2010, 3 Real analysis, Lp spaces, integral operators, Schur test

(a) Let ๐‘“ be a measurable real-valued function on a finite measure space (๐‘‹,โ„ฌ๏ธ€,๐œ‡). Define

๐‘š๐‘›(๐‘“)=๐œ‡({๐‘ฅ:2๐‘›โ‰ค|๐‘“(๐‘ฅ)|<2๐‘›+1}),

for ๐‘›โˆˆโ„ค. Give and prove a (non-trivial) upper and lower estimate of the ๐ฟ๐‘ norm of ๐‘“, 1โ‰ค๐‘<โˆž, purely in terms of the quantities ๐‘š๐‘›(๐‘“).

(b) Suppose that (๐‘‹,โ„ฌ๏ธ€,๐œ‡) is a ๐œŽ-finite measure space, ๐พ is a measurable function on ๐‘‹ร—๐‘‹, and

โˆซ|๐พ(๐‘ฅ,๐‘ฆ)|d๐œ‡(๐‘ฆ)โ‰ค๐ถ,โˆซ|๐พ(๐‘ฅ,๐‘ฆ)|d๐œ‡(๐‘ฅ)โ‰ค๐ถ

๐œ‡-a.e. Show that the integral operator ๐ด:๐ฟ2(๐‘‹)โ†’๐ฟ2(๐‘‹) defined by

(๐ด๐‘“)(๐‘ฅ)=โˆซ๐พ(๐‘ฅ,๐‘ฆ)๐‘“(๐‘ฆ)d๐œ‡(๐‘ฆ)

is well-defined and bounded, and its norm is bounded by ๐ถ.

Stanford Fall 2010, 3 Real analysis, Lebesgue measure, normal numbers, Borel-Cantelli

Write a real number ๐‘ฅโˆˆ[0,1) in the usual decimal expansion (pick the representation ending in 0's if there are two representations), ๐‘ฅ=0.๐‘ฅ1๐‘ฅ2๐‘ฅ3โ€ฆ. We let ๐ด be the set of ๐‘ฅโˆˆ[0,1) with the property that there are infinitely many ๐‘›โˆˆโ„• such that each of the digits 0,โ€ฆ,9 appears among the first 10๐‘› digits (i.e. ๐‘ฅ1,โ€ฆ,๐‘ฅ10๐‘›) exactly ๐‘› times. Prove that the set ๐ด is Lebesgue measurable and find its measure.

Stanford Fall 2010, 4 Real analysis, weak topology, metrizability, dual spaces

Suppose that ๐‘‹ is a complex Banach space and ๐’ฏ๏ธ€ is its weak topology.

(a) Suppose that (๐‘‹,๐’ฏ๏ธ€) is first countable. Show that there are linear functionals ๐‘“๐‘—โˆˆ๐‘‹โˆ—, ๐‘—=1,2,โ€ฆ, such that every ๐‘“โˆˆ๐‘‹โˆ— is a finite linear combination of the ๐‘“๐‘—. That is, if ๐‘“โˆˆ๐‘‹โˆ— then there exists ๐‘>0 and ๐‘Ž๐‘—โˆˆโ„‚, ๐‘—=1,โ€ฆ,๐‘, such that ๐‘“=โˆ‘๐‘—=1๐‘๐‘Ž๐‘—๐‘“๐‘—.

(b) Suppose that ๐‘‹ is infinite dimensional. Show that (๐‘‹,๐’ฏ๏ธ€) is not metrizable.

Stanford Fall 2010, 4 Real analysis, adjoint operators, spectral theory, Hilbert space geometry

Suppose that ๐ป is a Hilbert space, ๐‘‡โˆˆโ„’๏ธ€(๐ป), and let ๐‘‡โˆ— denote its adjoint.

(a) Show that , where โŠ• is orthogonal direct sum.

(b) Suppose that there exists ๐ถ>0 such that for all ๐‘ฅโˆˆ๐ป, โ€–๐‘ฅโ€–โ‰ค๐ถโ€–๐‘‡๐‘ฅโ€–. Show that Ran(๐‘‡) is a closed subspace of ๐ป.

(c) Show that if ๐‘‡๐‘‡โˆ—=๐ผ=๐‘‡โˆ—๐‘‡, then ๐‘‡โˆ’๐œ†๐ผโˆˆโ„’๏ธ€(๐ป) is invertible if |๐œ†|โ‰ 1, and show that โ€–(๐‘‡โˆ’๐œ†๐ผ)โˆ’1โ€–โ‰ค|1โˆ’|๐œ†||โˆ’1.

Stanford Fall 2010, 5 Real analysis, self-adjoint operators, spectral theory, Fourier series

We define a bounded operator ๐ด:โ„“2(โ„ค)โ†’โ„“2(โ„ค) by

(๐ด๐‘ฅ)๐‘˜=๐‘ฅ๐‘˜โˆ’1โˆ’2๐‘ฅ๐‘˜+๐‘ฅ๐‘˜+1.

(a) Show that ๐ด is a bounded symmetric operator.

(b) Let ๐‘‡:โ„“2(โ„ค)โ†’๐ฟ2([โˆ’๐œ‹,๐œ‹]) be defined by

(๐‘‡๐‘ฅ)(๐‘ก)=12๐œ‹โˆ‘๐‘˜โˆˆโ„ค๐‘ฅ๐‘˜๐‘’๐‘–๐‘˜๐‘ก.

Show that the operator ๐‘‡๐ด๐‘‡โˆ’1:๐ฟ2([โˆ’๐œ‹,๐œ‹])โ†’๐ฟ2([โˆ’๐œ‹,๐œ‹]) is a multiplication operator; that is,

(๐‘‡๐ด๐‘‡โˆ’1๐‘“)(๐‘ก)=๐œ‡(๐‘ก)๐‘“(๐‘ก)

for some function ๐œ‡(๐‘ก).

(c) Determine the spectrum of ๐ด.

(d) Find the eigenvalues of ๐ด.

Stanford Fall 2010, 5 Real analysis, tempered distributions, boundary values of analytic functions, distributions

Let ฮฉ+={๐‘งโˆˆโ„‚:0<Im๐‘ง<1}, ฮฉโˆ’={๐‘งโˆˆโ„‚:โˆ’1<Im๐‘ง<0}. Let ๐’ฎ๏ธ€(โ„) denote the space of Schwartz functions on โ„, with seminorms , and ๐’ฎ๏ธ€โ€ฒ(โ„) its topological dual, tempered distributions.

(a) Suppose that ๐‘ข+:ฮฉ+โ†’โ„‚ is an analytic function with |๐‘ข+(๐‘ง)|โ‰ค๐ถ(|Im๐‘ง|โˆ’๐‘˜+|Re๐‘ง|โ„“+1) for some ๐ถ,๐‘˜,โ„“. For ๐œ€โˆˆ(0,1), let ๐‘ข+,๐œ€โˆˆ๐’ฎ๏ธ€โ€ฒ(โ„) with ๐‘ข+,๐œ€(๐œ‘)=โˆซโ„๐‘ข(๐‘ฅ+๐‘–๐œ€)๐œ‘(๐‘ฅ)d๐‘ฅ. Show that ๐‘ข+,0=lim๐œ€โ†’0+๐‘ข๐œ€ exists in ๐’ฎ๏ธ€โ€ฒ(โ„). (Hint: consider the indefinite integral of ๐‘ข from e.g. ๐‘ง0=๐‘–/2, and integrate first parallel to the real axis then to the imaginary axis and obtain an estimate for โˆซ๐‘ง0๐‘ง๐‘ข(๐‘ค)d๐‘ค.) Define ๐‘ขโˆ’,0 similarly, replacing ฮฉ+ by ฮฉโˆ’.

(b) For ๐‘ขยฑ(๐‘ง)=๐‘งโˆ’๐‘š, ๐‘งโˆˆฮฉยฑ, ๐‘šโ‰ฅ1 integer, find ๐‘ข+,0(๐œ‘)โˆ’๐‘ขโˆ’,0(๐œ‘), ๐œ‘โˆˆ๐’ฎ๏ธ€(โ„), in terms of , ๐‘—โ‰ฅ0.

Stanford Fall 2011, 1 Real analysis, Fourier series, boundary values of analytic functions, Lp spaces

Two short problems.

(a) Suppose that (๐‘‹,๐’œ๏ธ€,๐œ‡) is a finite measure space and ๐‘“:๐‘‹โ†’โ„ is an ๐’œ๏ธ€-measurable function. Prove that โ€–๐‘“โ€–๐ฟโˆž=lim๐‘โ†’โˆžโ€–๐‘“โ€–๐ฟ๐‘.

(b) Let โŠค=โ„/(2๐œ‹โ„ค), and identify it with the unit circle {๐‘งโˆˆโ„‚:|๐‘ง|=1} in the complex plane. For ๐›ฟโˆˆ(0,1), let ฮฉ๐›ฟ={๐‘งโˆˆโ„‚:1โˆ’๐›ฟ<|๐‘ง|<1}. Suppose that ๐œ‘โˆˆ๐ถ(โŠค) and there exist ๐›ฟโˆˆ(0,1) and , ๐‘“ holomorphic on ฮฉ๐›ฟ, such that ๐‘“|โŠค=๐œ‘. Let

(โ„ฑ๏ธ€๐œ‘)๐‘›=12๐œ‹โˆซโŠค๐‘’โˆ’๐‘–๐‘›๐œƒ๐œ‘(๐œƒ)d๐œƒ

be the ๐‘›th Fourier coefficient of ๐œ‘. Show that for all ๐‘˜>0 there exists ๐ถ>0 such that |(โ„ฑ๏ธ€๐œ‘)๐‘›|โ‰ค๐ถ|๐‘›|โˆ’๐‘˜ for ๐‘›โ‰คโˆ’1.

Stanford Fall 2011, 1 Real analysis, Lebesgue measure, continuity of translation

Suppose ๐ดโІโ„ is Borel, ๐‘‡ is a dense subset of โ„ and ๐œ๐‘ก(๐ด)โˆ’๐ด has Lebesgue measure zero for each ๐‘กโˆˆ๐‘‡, where ๐œ๐‘ก:โ„โ†’โ„ is the translation ๐‘ฅโ†’๐‘ฅ+๐‘ก. Prove that either ๐ด or โ„โˆ’๐ด has Lebesgue measure zero.

Stanford Fall 2011, 2 Real analysis, bounded operators, spectral theory, compact operators, sequence spaces

Suppose that ๐‘“:โ„•โ†’โ„‚ is a bounded function (where โ„• is the set of the positive integers), and define ๐‘€๐‘“โˆˆโ„’๏ธ€(โ„“๐‘), 1โ‰ค๐‘<โˆž, by ๐‘€๐‘“({๐‘Ž๐‘›}๐‘›=1โˆž)={๐‘“(๐‘›)๐‘Ž๐‘›}๐‘›=1โˆž.

(a) Find (with proof) the spectrum of ๐‘€๐‘“.

(b) State and prove a necessary and sufficient condition in terms of ๐‘“ for ๐‘€๐‘“ being a compact operator.

(c) Can there be any points in the spectrum of ๐‘€๐‘“ that are not eigenvalues? Give an example or prove the contrary.

Stanford Fall 2011, 2 Real analysis, Borel measures, self-adjoint operators, compact operators, spectral theory

Two short problems.

(a) Let โŠค=โ„/(2๐œ‹โ„ค) be the circle, and let ๐ถ1(โŠค) denote the Banach space of complex valued continuously differentiable functions on โŠค with the norm โ€–๐‘“โ€–๐ถ1=sup|๐‘“|+sup|๐‘“โ€ฒ|. Suppose that ๐‘ข:๐ถ1(โŠค)โ†’โ„‚ is continuous and has the property that ๐œ‘โˆˆ๐ถ1(โŠค), ๐œ‘โ‰ฅ0 on โŠค, imply ๐‘ข(๐œ‘)โ‰ฅ0. Show that there is a finite Borel measure ๐œ‡ on โŠค such that ๐‘ข(๐œ‘)=โˆซ๐œ‘d๐œ‡ for all ๐œ‘โˆˆ๐ถ1(โŠค).

(b) Suppose that ๐ป is a Hilbert space, โ„’๏ธ€(๐ป) the set of bounded operators on ๐ป, ๐ดโˆˆโ„’๏ธ€(๐ป) is self-adjoint, and for ๐‘กโˆˆโ„ define ๐‘ˆ(๐‘ก)=๐‘“๐‘ก(๐ด) via the functional calculus where ๐‘“๐‘ก(๐‘ )=๐‘’๐‘–๐‘ก๐‘ . Show that ๐‘ˆ(๐‘ก)โˆ’๐ผ is compact for all ๐‘กโˆˆโ„ if and only if ๐ด is compact.

Questions per page