Bounded point derivations and functions of bounded mean oscillation

Stephen Deterding

arxiv: 1906.11934 · v1 · pith:GUNRO3J6new · submitted 2019-06-27 · 🧮 math.CV

Bounded point derivations and functions of bounded mean oscillation

Stephen Deterding This is my paper

Pith reviewed 2026-05-25 13:33 UTC · model grok-4.3

classification 🧮 math.CV

keywords bounded point derivationsVMO functionsBMO normHausdorff contentanalytic functionsboundary behaviorcomplex plane sets

0 comments

The pith

A0(X) admits a bounded point derivation of order t at x0 exactly when lower 1-dimensional Hausdorff content conditions hold at x0.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper gives necessary and sufficient conditions, phrased in lower 1-dimensional Hausdorff content, for the space A0(X) of VMO functions analytic on a plane set X to admit a bounded point derivation of order t at a boundary point x0. The derivation exists when there is a constant C such that the t-th derivative at x0 is bounded by C times the BMO norm for all such functions that extend analytically to x0. These conditions mirror those already known for other function spaces. A reader cares because the result replaces an analytic question with a purely geometric test on the set near x0.

Core claim

A0(X) admits a bounded point derivation of order t at x0 if and only if lower 1-dimensional Hausdorff content conditions hold at x0. The paper proves both directions by relating the size of the derivative to the BMO norm and showing that the content condition forces the required bound while its failure produces a counterexample function.

What carries the argument

The equivalence between the existence of a bounded point derivation on A0(X) and the lower 1-dimensional Hausdorff content condition at the boundary point.

If this is right

For any set X meeting the content condition at x0, every VMO function analytic on X has its t-th derivative at x0 controlled by its BMO norm.
The geometric content test decides the continuity of the point-derivative functional in the BMO topology on A0(X).
The same content criterion works uniformly across several analytic function spaces once the integrability or oscillation class is fixed.
Boundary points can be classified as derivation-admissible or not by a direct computation of Hausdorff content without constructing test functions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result suggests that removability questions for VMO analytic functions may also reduce to Hausdorff content tests at the exceptional set.
Adjusting the order t or the oscillation class would likely produce parallel content conditions with different dimension exponents.
The characterization opens a route to numerical checks of derivation existence by approximating the content of small disks around candidate points.

Load-bearing premise

The space A0(X) is taken as the VMO functions analytic on X, and the BMO norm is assumed to control pointwise derivative bounds in the manner established by earlier definitions of these spaces.

What would settle it

Exhibit a concrete set X and point x0 where the lower 1-dimensional Hausdorff content condition fails yet every function in A0(X) still satisfies a uniform bound on its t-th derivative at x0, or the reverse.

Figures

Figures reproduced from arXiv: 1906.11934 by Stephen Deterding.

**Figure 1.** Figure 1: A roadrunner set 5 Examples In this section, we will construct some examples for which Theorem 1 applies. The first construction is that of a set X such that A0(X) does not admit a bounded point derivation at 0 but such that Aα(X) admits a bounded point derivation at 0 for all α > 0. Let D be the open unit disk and let An = {2 −(n+1) ≤ |z| ≤ 2 −n}. For each n, let Bn be a closed disk contained entirely in… view at source ↗

read the original abstract

Let $X$ be a subset of the complex plane and let $A_0(X)$ denote the space of VMO functions that are analytic on $X$. $A_0(X)$ is said to admit a bounded point derivation of order $t$ at a point $x_0 \in \partial X$ if there exists a constant $C$ such that $|f^{(t)}(x_0)|\leq C ||f||_{BMO}$ for all functions in $VMO(X)$ that are analytic on $X \cup \{x_0\}$. In this paper, we give necessary and sufficient conditions in terms of lower $1$-dimensional Hausdorff content for $A_0(X)$ to admit a bounded point derivation at $x_0$. These conditions are similar to conditions for the existence of bounded point derivations on other functions spaces.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper states nec+suff lower 1-dimensional Hausdorff content conditions for bounded point derivations of order t on the space A0(X) of VMO-analytic functions, matching the pattern already known for other spaces.

read the letter

The main takeaway is that A0(X) admits a bounded point derivation of order t at x0 precisely when the lower 1-dimensional Hausdorff content satisfies the stated conditions at that point. The abstract frames this as an if-and-only-if characterization controlled by the BMO norm on the VMO functions analytic on X union the point. This is the incremental step the paper takes: it applies an existing geometric criterion to this particular function space rather than deriving a new framework from scratch. The result organizes boundary behavior for A0(X) in a way that lines up with prior work on other analytic spaces, which is useful for anyone tracking how these derivation properties behave across different norms. The definitions of A0(X), the derivation, and the controlling BMO bound are all drawn from established literature, so the paper does not introduce new objects or free parameters. That keeps the claim grounded. The soft spot is that the abstract gives no proof sketch or explicit threshold value, so it is impossible to judge from the given text whether the argument is a straightforward transfer of known techniques or requires fresh estimates. If the former, the advance is modest. The citation pattern appears standard and non-circular based on the abstract alone. This is a paper for specialists in complex analysis who already work with BMO, VMO, and point derivations on planar sets. A reader outside that niche will not find broad implications. It is solid enough on its own terms to warrant referee time; the claim is precise and the setting is standard, so a referee can verify the details without starting from zero.

Referee Report

0 major / 2 minor

Summary. The paper claims that for a subset X of the complex plane, the space A0(X) of VMO functions analytic on X admits a bounded point derivation of order t at x0 ∈ ∂X if and only if lower 1-dimensional Hausdorff content conditions hold at x0. Bounded point derivation is defined via the existence of C such that |f^(t)(x0)| ≤ C ||f||_BMO for all f in VMO(X) analytic on X ∪ {x0}. The conditions are stated to be analogous to those known for other function spaces.

Significance. If the if-and-only-if characterization holds, the result strengthens the connection between analytic function spaces controlled by BMO norms and geometric measure-theoretic conditions via Hausdorff content. It extends prior characterizations of bounded point derivations to the VMO setting, which may facilitate further work on boundary behavior and approximation in complex analysis.

minor comments (2)

[Abstract] The abstract refers to 'lower 1-dimensional Hausdorff content conditions' without specifying the exact form (e.g., whether it involves liminf of content of balls or annuli); the full manuscript should state the precise inequality or limit in the introduction or main theorem.
[Abstract] The phrase 'similar to conditions for the existence of bounded point derivations on other functions spaces' should be accompanied by explicit citations to the relevant prior results on other spaces (e.g., in the introduction).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their review and positive assessment of the manuscript, including the recommendation for minor revision. No major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The abstract states an if-and-only-if characterization of bounded point derivations on A0(X) via lower 1-dimensional Hausdorff content conditions. Definitions of A0(X) as VMO functions analytic on X, the bounded point derivation condition |f^(t)(x0)| ≤ C ||f||_BMO, and the BMO norm are presented as given from prior literature on function spaces, without any reduction of the Hausdorff conditions to fitted parameters, self-definitions, or load-bearing self-citations within the paper's own equations. No quoted steps exhibit the result being equivalent to its inputs by construction, making the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard definitions and properties of VMO, BMO, analyticity, and Hausdorff content; no free parameters, ad-hoc axioms, or new entities are introduced in the abstract.

axioms (2)

standard math Standard properties of lower 1-dimensional Hausdorff content on subsets of the plane
Invoked as the language in which the necessary and sufficient conditions are expressed.
domain assumption The space A0(X) consists of VMO functions analytic on X, with the BMO norm well-defined
Taken directly from the definition given in the abstract.

pith-pipeline@v0.9.0 · 5667 in / 1308 out tokens · 43210 ms · 2026-05-25T13:33:55.801491+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · 1 internal anchor

[1]

and Verdera, J

Boivin, B. and Verdera, J. Approximation par fonctions holomorphes dans les espaces Lp, Lipα et BMO. (French) Indiana Univ. Math. J. Vol. 40, No. 2 (1991) 393-418

work page 1991
[2]

and Fari˜ na, J.C

Bonilla, A. and Fari˜ na, J.C. Meromorphic and entire approximation in BMO-norm J. Approx. Theory 76, (1994) 203-218

work page 1994
[3]

and Polking, J.C

Fernstr¨ om, C. and Polking, J.C. Bounded point evaluations and approximation in Lp by solutions of elliptic partial diﬀerential equations . J. Functional Analysis 28 (1978), no. 1, 1-20

work page 1978
[4]

Analytic Capacity and Measure Lecture Notes in Math., vol

Garnett, J.B. Analytic Capacity and Measure Lecture Notes in Math., vol. 1043, Springer- Verlag, Berlin and New York, 1972

work page 1972
[5]

Hallstrom, A.P., On bounded point derivations and analytic capacity. J. Functional Analysis 3 (1969) 35-47

work page 1969
[6]

and Polking, J

Harvey, R. and Polking, J. Removable singularities of solutions of linear partial diﬀ erential equations Acta Math. 125 (1970), 39-56

work page 1970
[7]

Bounded point evaluations and capacity

Hedberg, L.I. Bounded point evaluations and capacity . J. Functional Analysis 10 (1972), 269-280

work page 1972
[8]

and Nirenberg, L

John, F. and Nirenberg, L. On functions of bounded mean oscillation. Comm. Pure Appl. Math. 14 (1961), 415-426

work page 1961
[9]

Hausdorﬀ measure, BMO, and analytic functions Paciﬁc J

Kaufman, R. Hausdorﬀ measure, BMO, and analytic functions Paciﬁc J. Math. 102 (1982) 369-371

work page 1982
[10]

and O’Farrell, A.G

Lord, D.J. and O’Farrell, A.G. Boundary smoothness properties of Lipα analytic functions. J. Anal. Math. 63 (1994), 103119

work page 1994
[11]

Mean oscillation over cubes and H¨ older continuity

Meyers, N.G. Mean oscillation over cubes and H¨ older continuity. Proc. Amer. Math. Soc, Vol. 15 No. 5 (1964), 717-721 13

work page 1964
[12]

Boundary values of holomorphic distributions in negative Lipschitz classes

O’Farrell, A.G. Boundary values of holomorphic distributions in negative L ipschitz classes. Preprint 2019. arXiv 1806.09979

work page internal anchor Pith review Pith/arXiv arXiv 2019
[13]

BMO rational approximation and one-dimensional Hausdorﬀ c ontent Trans

Verdera, J. BMO rational approximation and one-dimensional Hausdorﬀ c ontent Trans. Amer. Math. Soc. Vol. 297 No. 1 (1986), 283-304. 14

work page 1986

[1] [1]

and Verdera, J

Boivin, B. and Verdera, J. Approximation par fonctions holomorphes dans les espaces Lp, Lipα et BMO. (French) Indiana Univ. Math. J. Vol. 40, No. 2 (1991) 393-418

work page 1991

[2] [2]

and Fari˜ na, J.C

Bonilla, A. and Fari˜ na, J.C. Meromorphic and entire approximation in BMO-norm J. Approx. Theory 76, (1994) 203-218

work page 1994

[3] [3]

and Polking, J.C

Fernstr¨ om, C. and Polking, J.C. Bounded point evaluations and approximation in Lp by solutions of elliptic partial diﬀerential equations . J. Functional Analysis 28 (1978), no. 1, 1-20

work page 1978

[4] [4]

Analytic Capacity and Measure Lecture Notes in Math., vol

Garnett, J.B. Analytic Capacity and Measure Lecture Notes in Math., vol. 1043, Springer- Verlag, Berlin and New York, 1972

work page 1972

[5] [5]

Hallstrom, A.P., On bounded point derivations and analytic capacity. J. Functional Analysis 3 (1969) 35-47

work page 1969

[6] [6]

and Polking, J

Harvey, R. and Polking, J. Removable singularities of solutions of linear partial diﬀ erential equations Acta Math. 125 (1970), 39-56

work page 1970

[7] [7]

Bounded point evaluations and capacity

Hedberg, L.I. Bounded point evaluations and capacity . J. Functional Analysis 10 (1972), 269-280

work page 1972

[8] [8]

and Nirenberg, L

John, F. and Nirenberg, L. On functions of bounded mean oscillation. Comm. Pure Appl. Math. 14 (1961), 415-426

work page 1961

[9] [9]

Hausdorﬀ measure, BMO, and analytic functions Paciﬁc J

Kaufman, R. Hausdorﬀ measure, BMO, and analytic functions Paciﬁc J. Math. 102 (1982) 369-371

work page 1982

[10] [10]

and O’Farrell, A.G

Lord, D.J. and O’Farrell, A.G. Boundary smoothness properties of Lipα analytic functions. J. Anal. Math. 63 (1994), 103119

work page 1994

[11] [11]

Mean oscillation over cubes and H¨ older continuity

Meyers, N.G. Mean oscillation over cubes and H¨ older continuity. Proc. Amer. Math. Soc, Vol. 15 No. 5 (1964), 717-721 13

work page 1964

[12] [12]

Boundary values of holomorphic distributions in negative Lipschitz classes

O’Farrell, A.G. Boundary values of holomorphic distributions in negative L ipschitz classes. Preprint 2019. arXiv 1806.09979

work page internal anchor Pith review Pith/arXiv arXiv 2019

[13] [13]

BMO rational approximation and one-dimensional Hausdorﬀ c ontent Trans

Verdera, J. BMO rational approximation and one-dimensional Hausdorﬀ c ontent Trans. Amer. Math. Soc. Vol. 297 No. 1 (1986), 283-304. 14

work page 1986