Mathematics Problem Archive

According to Fefferman's theorem (no citation), a real function $u$ on the unit circle which has bounded mean oscillation, can be decomposed as $u=b_1...

This problem is equivalent to Problem 7.9 due to Gehring and Reich about best bounds for area distribution under quasiconformal mapping. Let $E$ denot...

Let $T$ denote the class of all rational functions $g$ of the form \[g(z)=\sum^n_{j=1}\frac{\lambda_j}{(z-z_j)^2},\] where the constants $\lambda_j$ s...

The Hankel matrices of a function $f$ having a Taylor expansion \[f(z)=a_0+a_1z+\ldots\] are defined by \[H^{(n)}_p=(a_{ij});\hspace{1cm}a_{ij}=a_{n+1...

(Subadditivity problem for analytic capacity) Prove or disprove the existence of a constant $M$ such that \[\gamma(K_1\cup K_2)\leq M\{\gamma(K_1)+\ga...

Let $D(z, r)=\{w:|w-z|\leq r\}$. Given a sequence $\{D(z_j, r)\}^N_{j=1}$ of disjoint closed balls all contained in $|z|\leq\frac{1}{2}$, put \[\Omega...

Let $\{z_\nu\}$ be a sequence of distinct points in the unit disc $\mathbb{D}$ such that $\sum(1-|z_\nu|)<\infty$. Let $B$ be the Blaschke product cor...

Define the Harnack function $H_{z_0}(z)$ for a Green domain $D$ relative to $z_0\in D$ to be the supremum of all positive harmonic functions $h$ on $D...

A bounded simply-connected domain $D$ is said to be conformally rigid if there is some $\varepsilon>0$ such that if $f$ is a conformal self-map of $D$...

Let $U$ be an open set in the plane and $\lambda^U_a$ be the harmonic measure at the point $a$ with respect to $U$. Then \O{}ksendal showed that $\lam...

Let $D$ be the unit disc cut along $p$ radial slits from the outer boundary, all of the same given length. Let $u$ be the harmonic measure of $\{|z|=1...

(A `Universal' Phr\'agmen-Lindel\"of Theorem) Let $D$ be an arbitrary unbounded plane domain. Suppose that $f(z)$ is analytic on $D$ and continuous on...

Let $K\subset\mathbb{C}$ be compact and let $x_0\in K$ be a non-peak point for $R(K)$, the uniform limits on $K$ of rational functions with poles outs...

A domain $D\subseteq \mathbb{R}^n$ is said to be linearly accessible, if each point in the complement of $D$ can be joined to $\infty$ by a ray which ...

Let $x=(x_1, x_2, \ldots, x_n)$ be a point in Euclidean $n$-space, $n\geq3$, with $|x|=\Big(\sum^n_{i=1}x^2_i\Big)^{1/2}$. A function $u$ on $\mathbb{...

Let $U$ be a connected open set in $\mathbb{R}^n$. Brelot and Choquet showed that the set of points on the boundary of $U$ which are accessible from t...

Let $D$ be a bounded strictly pseudo-convex domain in $\mathbb{C}^n, n>1$, with smooth boundary. Denote by $A^\infty(D)$ the class of functions analyt...

Let $K\subset\mathbb{C}^n$ be a compact set and let $P_0(K)$ be the set of all polynomials on $K$. The $P$-hull of $K$, the polynomial convex hull of ...

[(i)] ; (One-dimensional version.) Let $E$ be a compact set in $\mathbb{R}$; and, for each $x \in E$, let $\delta_x > 0$ be given. Let $I_x = (x-\delt...

Let $\phi_t(z)= e^{tz}-1$, $\phi^1_t=\phi_t$ and $\phi^{n+1}_t=\phi_t\circ\phi^n_t$ for $n\geq1$; it follows that \[\phi^1_t(-1)=e^{-t}-1 = -t+\frac{t...

It is known that any quasi-conformal homeomorphism of $B^n = \{x : x \in\mathbb{R}^n,|x|<1\}$ onto a Jordan domain $D$ in $\mathbb{R}^n$ can be extend...

Let $\Gamma$ be a closed Jordan curve in the extended plane, and suppose that $\infty\in\Gamma$. Let $f_1, f_2$ map the upper and lower half-planes, r...

For $n\geq2$, let \[\mathbb{R}^n_+=\big\{(x_1,\ldots,x_n)\in\mathbb{R}^n:x_n>0\big\}\] and \[\mathbb{R}^n_-=\big\{(x_1,\ldots,x_n)\in\mathbb{R}^n:x_n<...

Let $E\subset[0,1]$ be a compact set on the positive real axis in $\mathbb{R}^2$; and let $E$ have positive conformal $2$-capacity, that is $M\big(\De...

Let $(P, Q)$ denote a pair of polynomials with the following property: $$ \text{the map }f\mapsto P(D)(Qf)\text{ carries }\mathcal{E}\text{ bijectivel...

Let $P$ be a polynomial of degree $m$ in which the coefficient of $z^m_1$ is non-zero, and let $Q(z) = z^m_1$. [(a)] ; Does the pair $(P, Q)$ have the...

Is it true that, for any polynomial $P$ with complex coefficients, the mapping $f\mapsto P^*(D)(Pf)$, where $P^*(z) = \overline{P(\overline{z})}$, is ...

Given a countable number of convergent series with positive decreasing terms, one can find such a series converging more slowly than any of these. Wit...

For $n\geq 2$ and $\alpha > 0$, let \[\widehat{T^\alpha_Rf}(\xi)=\Big(1-\frac{|\xi|^2}{R^2}\Big)^\alpha_+\hat{f}(\xi)\] where $R > 0$ and $f\in\mathca...

Let $\Gamma$ be a Fuchsian group in $\mathbb{D}$, and let $i(z) \equiv z$. Is it true that \[\sum_{\gamma\in\Gamma}|\gamma'(0)|\geq\prod_{\gamma\in\Ga...

Let $\mathcal{W}$ be a hyperbolic Riemann surface, $G_\omega$ the Green's function with pole $\omega\in\mathcal{W}$, and $\Gamma=\{[\gamma_n]\}$ the f...

A continuous mapping $f:B^n\to\mathbb{R}^n$, where $B^n = \{x : x\in\mathbb{R}^n,|x|<1\}$, and $n\geq2$, is said to be proper if $f^{-1}(K)$ is a comp...

Let $V$ be the zero set of some analytic function in a strictly pseudo-convex domain $\Omega$ in $\mathbb{C}^2$. If $V$ has finite area inside $\Omega...

For a Hadamard gap sequence $\{n_k\}^\infty_{k=1}$, $n_{k+1}/n_k\geq q>1$, is it true that the measure in $[0,2\pi[$ of the set of those points $x$ fo...

Given an associative algebra $A$, with identity $1$ and countable basis, then for a finite-dimensional subspace $V$ spanned by the vectors $\{e_j\}^k_...

Using arguments due to Ahlfors (see, for example ) any M\"obius transformation in $\mathbb{R}^n$ can be written in the form $(ax + b)(cx+d)^{-1}$, whe...

Given a domain of holomorphy $\Omega\subseteq\mathbb{C}^n$, $n\geq2$, what conditions are required on $\Omega$ to admit an analytic function $p:\Omega...

Let $N$ denote the class of complex-valued $L^\infty$-functions $v$ on the unit disc $U$ such that $\int_U v\phi\,dx\,dy=0$ whenever $\phi$ is analyti...

Let $D_1$, $D_2$ be domains in $\{|z|< R\}$, and let $\lambda_1(z)\,|dz|$ and $\lambda_2(z)\,|dz|$ be their hyperbolic metrics. What is the least numb...

Prove or disprove the following statements about analytic capacity $\gamma$. [(a)] ; If $E\subseteq\mathbb{C}$ is compact and $\phi$ is a $C^1$-diffeo...

Prove or disprove the following statement: If $K$ is a compact subset of $\mathbb{C}$ with continuous analytic capacity $\alpha(K)= 0$, then \[\alpha(...

We will say that $g(x)$ is a rearrangement of $f(x)$ if \[m\{x:g(x) < y\} = m\{x:f(x) < y\}\hspace{1cm}\text{ for all } y\in\mathbb{R},\] where $m$ is...

Does there exist a sequence $\{z_n\}^\infty_1$ of distinct complex numbers such that \[\sum\frac{1}{|z_n|}<\infty\hspace{1cm}\text{and}\hspace{1cm}\su...

Let $f$ be analytic on a domain $G$ in $\mathbb{C}$. We will say that a point $z_0\in G$ is a MacLane point of $f$ if there exists some neighbourhood ...

Let $f$ be an inner function, with $f(0) = 0$; then $f$ induces an ergodic (Lebesgue-) measure-preserving map of the circle onto itself. What is the e...

Let $I$ denote the class of all inner functions. Then $I$, as a subset of $H^\infty$, enjoys some of the properties that the collection of unimodular ...

Let $E\subset \mathbb{C}$, and the function $F:E\times \mathbb{D}\to\mathbb{C}$ satisfy the following conditions: [(a)] ; $F$ is injective on $E$, for...

Let $G$ be a finitely-generated Fuchsian group of the first kind. [(a)] ; If $F:\Pi \to \Pi$ is a $G$-invariant quasi-symmetric function, is $F$ total...

Let $L = \{L\}^\infty_0$ be a non-negative increasing sequence such that \[\sum^\infty_{k=0}L_kr^k<\infty\hspace{1cm}(0<r<1).\] If $f(z)$ is analytic ...

Given functions $f_1,\ldots,f_N\in H^\infty$, let $I = I(f_1,\ldots,f_N)$ be the ideal of $H^\infty$ generated by $f_1,\ldots,f_N$ and let $J = J(f_1,...