1: \documentclass[12pt,a4paper,twoside,reqno]{amsart}
2: \usepackage{amsfonts}
3:
4: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
5: \usepackage[OT1]{fontenc}
6: \usepackage{type1cm}
7: \usepackage[english]{babel}
8: \usepackage{amsthm}
9: \usepackage{epsfig}
10: \usepackage{graphicx,epsfig,subfigure}
11:
12: \numberwithin{equation}{section}
13: \theoremstyle{definition}
14: \newtheorem{thm}{Theorem}[section]
15: \theoremstyle{definition}
16: \newtheorem{lm}[thm]{Lemma}
17: \theoremstyle{definition}
18: \newtheorem{cor}[thm]{Corollary}
19: \theoremstyle{definition}
20: \newtheorem{pr}[thm]{Proposition}
21: \theoremstyle{definition}
22: \newtheorem{df}[thm]{Definition}
23:
24: \theoremstyle{remark}
25: \newtheorem{rem}[thm]{Remark}
26:
27: \renewcommand{\thefigure}{\Alph{figure}}
28: \newcommand{\Rn}{\mathbb{R}^{n}}
29: \newcommand{\hn}{\mathbb{R}^{n-1}}
30: \newcommand{\R}{\mathbb{R}}
31: \newcommand{\Q}{\mathbb{Q}}
32: \newcommand{\Z}{\mathbb{Z}}
33: \newcommand{\N}{\mathbb{N}}
34: \newcommand{\C}{\mathbb{C}}
35: \renewcommand{\AA}{\mathcal{A}}
36: \newcommand{\PPi}{\huge{\Pi}}
37: \newcommand{\CC}{\mathcal{C}}
38: \newcommand{\EE}{\mathcal{E}}
39: \newcommand{\FF}{\mathcal{F}}
40: \newcommand{\GG}{\mathcal{G}}
41: \newcommand{\HH}{\mathcal{H}}
42: \newcommand{\LL}{\mathcal{L}}
43: \newcommand{\MM}{\mathcal{M}}
44: \newcommand{\NN}{\mathcal{N}}
45: \newcommand{\PP}{\mathcal{P}}
46: \newcommand{\QQ}{\mathcal{Q}}
47: \renewcommand{\SS}{\mathcal{S}}
48: \newcommand{\TT}{\mathcal{T}}
49: \newcommand{\VV}{\mathcal{V}}
50: \newcommand{\hhh}{\mathtt{h}}
51: \newcommand{\iii}{\mathtt{i}}
52: \newcommand{\jjj}{\mathtt{j}}
53: \newcommand{\kkk}{\mathtt{k}}
54: \newcommand{\EEE}{\mathsf{E}}
55: \newcommand{\PPP}{\mathsf{P}}
56:
57: \renewcommand{\labelenumi}{(\roman{enumi})}
58: \DeclareMathOperator{\x1}{\textit{x}\lfloor _{\textit{n}-1}}
59: \DeclareMathOperator{\z1}{\textit{z}\lfloor _{\textit{n}-1}}
60: \DeclareMathOperator{\zt1}{\textit{z}^{\prime }\lfloor
61: _{\textit{n}-1}} \DeclareMathOperator{\xt1}{\textit{x}^{\prime
62: }\lfloor _{\textit{n}-1}}
63: \newcommand {\grtrsim} {\ {\raise-.5ex\hbox{$\buildrel>\over\sim$}}\ }
64: \newcommand {\lesssim} {\ {\raise-.5ex\hbox{$\buildrel<\over\sim$}}\ }
65: \newcommand{\pallo}{\circ}
66: \newcommand{\pois}{\setminus}
67: \newcommand{\eps}{\varepsilon}
68: \newcommand{\ksi}{\xi}
69: \newcommand{\khii}{\text{\lower -.4ex\hbox{$\chi$}}}
70: \DeclareMathOperator{\spt}{spt}
71: \DeclareMathOperator{\fix}{Fix}
72: \DeclareMathOperator{\per}{Per}
73: \DeclareMathOperator{\con}{con}
74: \DeclareMathOperator{\Lim}{Lim}
75: \DeclareMathOperator{\diam}{diam}
76:
77: \newcommand{\mato}{\tilde\mu}
78: \newcommand{\myy}{\mu}
79: \newcommand{\fii}{\varphi}
80: \newcommand{\Fii}{\Phi}
81: \newcommand{\roo}{\varrho}
82: \newcommand{\yli}[2]{\genfrac{}{}{0pt}{1}{#1}{#2}}
83: \oddsidemargin=21pt
84: \evensidemargin=21pt
85: \headheight=12pt
86: \textheight=592pt
87: \marginparsep=10pt
88: \footskip=30pt
89: \hoffset=0pt
90: \paperwidth=597pt
91: \topmargin=20pt
92: \headsep=25pt
93: \textwidth=410pt
94: \marginparwidth=35pt
95: \marginparpush=7pt
96: \voffset=0pt
97: \paperheight=845pt
98:
99: \begin{document}
100: \title[Boundedness of singular integrals]
101: {Boundedness and convergence for singular integrals of measures separated by
102: Lipschitz graphs}
103: \author{Vasilis Chousionis and Pertti Mattila}
104:
105: \thanks{The first author is supported by the Finnish Graduate School in
106: Mathematical Analysis.} \subjclass[2000]{Primary 42B20}
107: \keywords{Singular Integrals}
108:
109: \begin{abstract}We shall consider the truncated singular integral
110: operators
111: \begin{equation*}
112: T_{\mu ,K}^{\varepsilon}f(x)=\int_{\mathbb{R}^{n}\setminus
113: B(x,\varepsilon )}K(x-y)f(y)d\mu y
114: \end{equation*}
115: and related maximal operators
116: $T_{\mu,K }^{\ast }f(x)=\underset{\varepsilon >0}{\sup }\left| T_{\mu,K
117: }^{\varepsilon }f(x)\right|$. We shall prove for a large class of kernels
118: $K$ and measures $\mu$ and $\nu$ that if $\mu$ and $\nu$ are separated by a
119: Lipschitz graph, then $T_{\nu,K }^{\ast }:L^p(\nu)\to L^p(\mu)$ is bounded for
120: $1<p<\infty$. We shall also show that the truncated operators
121: $T_{\mu ,K}^{\varepsilon}$
122: converge weakly in some dense subspaces of $L^2(\mu)$ under mild
123: assumptions for the measures and the kernels.
124: \end{abstract}
125:
126: \maketitle
127:
128: \section{Introduction}
129:
130: Let $K:\mathbb{R}^{n}\setminus \{0\}\rightarrow \mathbb{R}$ be some
131: continuously differentiable function and $\mu $ some finite Radon measure in $%
132: \mathbb{R}^{n}$. The truncated singular integral operators associated with $%
133: \mu $ and $K$ are given for $f\in L^1(\mu)$ by
134:
135: \begin{equation*}
136: T_{\mu ,K}^{\varepsilon}f(x)=\int_{\mathbb{R}^{n}\setminus B(x,\varepsilon
137: )}K(x-y)f(y)d\mu y .
138: \end{equation*}
139: Here $B(x,\varepsilon)$ is the closed ball centered at $x$ with
140: radius $\varepsilon$. Since the kernels we are interested in will
141: remain fixed in the proofs, although the measures might vary, we
142: will use the notation $ T_{\mu}^{\varepsilon}$ instead of $T_{\mu
143: ,K}^{\varepsilon}$. Following this convention, the maximal singular
144: integral operator is defined as
145: \begin{equation*}
146: T_{\mu }^{\ast }f(x)=\underset{\varepsilon >0}{\sup }\left| T_{\mu
147: }^{\varepsilon }f(x)\right|.
148: \end{equation*}
149:
150: One of the key concepts in the theory of singular integral operators
151: is $L^2$ boundedness. It is well known that even with very nice
152: kernels the boundedness of $T_{\mu }^{\ast }:L^2(\mu)\to L^2(\mu)$
153: requires strong regularity properties of $\mu$. In this paper we
154: consider two measures $\mu$ and $\nu$ which live on different sides
155: of some $(n-1)$-dimensional Lipschitz graph. We shall prove that
156: then $T_{\nu }^{\ast }:L^2(\nu)\to L^2(\mu)$ is bounded very
157: generally. The case where $\nu =\mathcal{H}^{n-1}\lfloor S$, the
158: restriction of the $(n-1)$-dimensional Hausdorff measure to a
159: Lipschitz graph $S$, was proved by David in \cite{D} and our proof
160: relies on this result. We shall apply our boundedness theorem to
161: show that the truncated operators $T_{\mu }^{\varepsilon}$ converge
162: weakly in some dense subspaces of $L^2(\mu)$.
163:
164:
165: Before stating our main results we give some basic definitions that
166: determine our setting.
167: \begin{df}
168: The class $\Delta $ will contain all finite Radon measures $\mu $ on
169: $\Rn$ such that
170: \begin{equation}
171: \mu (B(x,r))\leq C_{\mu }r^{n-1} \text{ for } x\in\Rn \text{ and } r>0,
172: \end{equation}
173: where $C_{\mu }$ is some constant depending on $\mu $.
174: \end{df}
175:
176: We restrict to finite Radon measures only for convenience. Since by definition
177: Radon measures are always locally finite, all our results easily extend
178: to general Radon measures.
179:
180: \begin{df}
181: The class $\mathcal{K}$ will contain all continuously differentiable
182: kernels $K:\mathbb{R}^{n}$ $\backslash \{0\}\rightarrow \mathbb{R}$
183: satisfying for all $x\in \mathbb{R}^{n}$ $\backslash \{0\}$,
184:
185: \begin{enumerate}
186: \item $K(-x)=-K(x)$ (Antisymmetry),
187:
188: \item $| K(x)| \leq C_{0}^K| x| ^{-(n-1)}$,
189:
190: \item $\left| \nabla K(x)\right| \leq C_{1}^K\left| x\right| ^{-n}$,
191: \end{enumerate}
192: where the constants $C_{0}^K$ and $C_{1}^K$ depend on $K$.
193: \end{df}
194: The classes $\mathcal{K}$ and $\Delta$ have been studied widely, see
195: e.g. \cite{Db} and the references therein. Notice also that both
196: $\mathcal{K}$ and $\Delta$ are quite broad. For example, the class
197: $\Delta$ contains measures supported on
198: $(n-1)$-dimensional planes and Lipschitz graphs but it also contains
199: measures whose support is some fractal set like the $1$-dimensional
200: four corners Cantor set in $\R^2$. Moreover Riesz kernels
201: $|x|^{-n}x, x\in\Rn$, belong to $\mathcal{K}$, as well as stranger kernels like
202: the ones appearing in \cite{D3}.
203:
204: Denote the graph of a function $f:\mathbb{R}
205: ^{n-1}\rightarrow \mathbb{R}$ by
206: \begin{equation*}
207: C_{f}=\left\{(x,f(x)): x\in \mathbb{R}^{n-1}\right\}
208: \end{equation*}
209: and the corresponding half spaces by
210: \begin{equation*}
211: H_{f}^{+}=\{(x,y):x\in \mathbb{R}^{n-1},y>f(x)\}\text{ and }
212: H_{f}^{-}=\{(x,y):x\in \mathbb{R}^{n-1},y<f(x)\}.
213: \end{equation*}
214:
215: Our first main result reads as follows.
216: \begin{thm}
217: \label{mthm} Let $f:\mathbb{R}^{n-1}\rightarrow \mathbb{R}$ be some
218: Lipschitz function and $\mu$ and $\nu$ measures in $\Rn$ such that
219: \begin{enumerate}
220: \item $\mu(H_{f}^{-})=\nu(H_{f}^{+})=0$,
221: \item $\mu,\nu \in \Delta$.
222: \end{enumerate}
223: There exist constants $C_p,1\leq p <\infty,$ depending only on
224: $p,n,C_{\mu}, C_{\nu}$ and $\textmd{Lip}(f)$ such that for all
225: $g\in L^1(\nu)$,
226: \begin{equation*}
227: \label{mainp} \int (T_{\nu }^{\ast }g)^p d\mu\leq
228: C_p\int|g|^p d\nu\text{ for }1 <p <\infty.
229: \frac{C_1}{t}\int |g|d\nu \text{ for }t>0.
230: \end{equation*}
231: \end{thm}
232:
233: The proof is based on the following two theorems. The first one is a
234: special case of a classical result, for related discussion and
235: references see \cite{DS}, p.13. The second was proved by David in
236: \cite{D}. Although David worked only in the plane, his proof
237: generalizes without any essential changes.
238:
239: \begin{thm}
240: \label{bl} Let $S\subset \mathbb{R}^{n}$ be some $(n-1)$-dimensional
241: Lipschitz graph and let $\sigma =\mathcal{H}^{n-1}\lfloor S$. Then
242: if $K\in \mathcal{K}$ the corresponding maximal operator
243: \begin{equation*}
244: T_{\sigma }^{\ast }:L^{p}(\sigma )\rightarrow L^{p}(\sigma )
245: \end{equation*}
246: is bounded for $1 <p <\infty$.
247: \end{thm}
248:
249: \begin{thm}
250: \label{dav} Let $K\in \mathcal{K}$ and $\mu,\sigma \in \Delta $.
251: Suppose that there exists a positive constant $c_{\sigma}$
252: such that $\sigma(B(x,r))\geq c_{\sigma}r^{n-1}$ for $x$ in the support of
253: $\sigma$ and for $0<r<1$, and that
254: \begin{equation*}
255: T_{\sigma }^{\ast }:L^{p}(\sigma )\rightarrow L^{p}(\sigma )
256: \end{equation*}
257: is bounded for $1 <p <\infty$. Then
258: \begin{equation*}
259: T_{\sigma }^{\ast }:L^{p}(\sigma )\rightarrow L^{p}(\mu )\text{ and
260: }T_{\mu }^{\ast }:L^{p}(\mu )\rightarrow L^{p}(\sigma )
261: \end{equation*}
262: are also bounded for $1 <p <\infty$.
263: \end{thm}
264:
265: \begin{rem} The antisymmetry assumption on Theorem \ref{mthm} is not essential in the following sense.
266: As it was observed in \cite{D88}, Theorem \ref{dav} holds for all kernels $K:\Rn \times \Rn \setminus \{(x,y):x=y\} \rightarrow \R$
267: which satisfy the estimates
268: \begin{equation*}
269: |K(x,y)| \leq C|x-y|^{-(n-1)}
270: \end{equation*}
271: and
272: \begin{equation*}
273: |\nabla_x K(x,y)|+|\nabla_y K(x,y)|\leq C|x-y|^{-n}.
274: \end{equation*}
275: It is evident from the proof of Theorem \ref{mthm} that it remains
276: true for any of the aforementioned kernels $K$ whose corresponding
277: maximal operator $T^*_K$ is bounded on
278: $L^{2}(\mathcal{H}^{n-1}\lfloor C_f)$. As in Theorem \ref{mthm}
279: $C_f$ stands for the Lipschitz graph that separates the two measures
280: $\mu$ and $\nu$.
281: \end{rem}
282:
283: We shall apply Theorem \ref{mthm} to obtain certain weak convergence results.
284: Recently it was shown in \cite{MV} that for general
285: measures and kernels the $L^2(\mu)$-boundedness of the
286: operators $T_{\mu ,K}^{\varepsilon}$ forces them to converge weakly
287: in $L^2(\mu)$. This means that there exists a bounded linear
288: operator $T_{\mu,K }:L^2(\mu)\rightarrow L^2(\mu)$ such that for all
289: $f,g \in L^2(\mu)$,
290: \begin{equation*}
291: \lim _{\varepsilon \rightarrow 0} \int T_{\mu,K }^{\varepsilon
292: }(f)gd\mu=\int T_{\mu,K }(f)gd\mu .
293: \end{equation*}
294: Motivated by this recent development it is natural to ask if limits
295: of this type might exist if we remove the very strong
296: $L^2$-boundedness assumption. But, as it was remarked in \cite{MV},
297: by the Banach-Steinhaus theorem the converse also holds often; weak
298: convergence implies $L^2$-boundedness. And $L^2$-boundedness is
299: known to fail very often, for example, by \cite{MeV} and \cite{L},
300: if $K$ is the Cauchy kernel, $K(z)=1/z, z\in\C$, and $\mu$ has
301: positive and finite 1-upper density, i.e, $$0 <\limsup_{r\rightarrow
302: 0}\frac{\mu(B(x,r))}{r} <\infty \text{ $\mu$ a.e,}$$ and is purely
303: unrectifiable, that is, $\mu(\Gamma)=0$ for every rectifiable curve
304: $\Gamma$. Hence we cannot hope for the full weak convergence in
305: $L^2(\mu)$ in such cases. However, we shall prove that the operators
306: $T_{\mu ,K}^{\varepsilon}$ converge weakly in a restricted sense,
307: see Theorem \ref{main}, under some mild assumptions for the measures
308: and the kernels, including also many purely unrectifiable measures.
309:
310: For these convergence results we shall also use the following theorem.
311: It was first proved in \cite{MM} for the Cauchy transform in the plane, and then by
312: a different method by Verdera in \cite{V}. Verdera's proof easily extends
313: to the present setting, one can also consult \cite{M}, Section 20.
314:
315: \begin{thm}
316: \label{pv} Let $S\subset \mathbb{R}^{n}$ be some $(n-1)$-dimensional
317: Lipschitz graph. Then if $K\in \mathcal{K}$ and $\nu$ is any finite Radon
318: measure in $\mathbb{R}^{n}$, the principal values
319: \begin{equation*}
320: \underset{\varepsilon \rightarrow 0}{\lim }\underset{\left| x-y\right|
321: >\varepsilon }{\int }K(x-y)d\nu y
322: \end{equation*}
323: exist and are finite for $\mathcal{H}^{n-1}$ almost all $x\in S$.
324: \end{thm}
325:
326: Using Theorems \ref{mthm} and \ref{pv} we are able to prove rather easily the following fact.
327: \begin{thm}
328: \label{first}
329: \label{bli}
330: Let $\mu \in \Delta$ and $K \in \mathcal{K}$. Then for any Lipschitz function $f:\mathbb{R}%
331: ^{n-1}\rightarrow \mathbb{R}$ the finite limit
332: \begin{equation}
333: \underset{\varepsilon \rightarrow 0}{\lim }\underset{\left|
334: x-y\right|
335: >\varepsilon }{\int_{\Rn\backslash H_{f}^{-}}\int_{H_{f}^{-}}}K(x-y)d\mu
336: yd\mu x
337: \end{equation}
338: exists.
339: \end{thm}
340:
341: Theorem \ref{bli} is the main tool used to establish weak
342: convergence. Consider the following function spaces, which are dense
343: subsets of $L^2(\mu)$ for $\mu \in \Delta$,
344: \begin{equation*}
345: \begin{split}
346: \mathcal{X}_{Q}(\mathbb{R}^{n})=\{f:\mathbb{R}^{n}\rightarrow
347: \mathbb{R}, f \text{ is a finite linear combination of
348: characteristic}\\
349: \text{ functions of rectangles in } \mathbb{R}^{n}\}
350: \end{split}
351: \end{equation*}
352: and
353: \begin{equation*}
354: \begin{split}
355: \mathcal{X}_{B}(\mathbb{R}^{n})=\{f:\mathbb{R}^{n}\rightarrow
356: \mathbb{R}, f \text{ is a finite linear combination of
357: characteristic}\\
358: \text{ functions of balls in } \mathbb{R}^{n}\}.
359: \end{split}
360: \end{equation*}
361: Rectangles in $\mathcal{X}_{Q}$ need not have their sides parallel
362: to the axis.
363: \begin{thm}
364: \label{main} If $\mu \in \Delta $ and $K\in \mathcal{K}$, the finite limit
365: \begin{equation*}
366: \underset{\varepsilon \rightarrow 0}{\lim }\int T_{\mu }^{\varepsilon
367: }(f)(x)g(x)d\mu x
368: \end{equation*}
369: exists for $f,g\in \mathcal{X}_{B}(\mathbb{R}^{n})$ and $f,g\in
370: \mathcal{X}_{Q}(\mathbb{R}^{n})$.
371: \end{thm}
372:
373: Theorem \ref{main} was proved in \cite{C2} for more
374: general kernels $K$ but under more restrictive porosity conditions
375: on the measure $\mu$. Further discussions on boundedness and convergence
376: properties of singular integrals with general measures can be found
377: for example in \cite{M}, \cite{MV}, \cite{T}, \cite{D3} and \cite{C1}.
378:
379:
380: Throughout this paper $A\lesssim B$ means $A\leq CB$ for some
381: constant $C$ depending only on the appropriate structural constants,
382: that is, the dimension $n$, the exponent $p$, the Lipschitz constants of
383: the Lipschitz graphs and the regularity constants $C_{\mu}$ of the measures.
384:
385: We would like to thank the referee for some useful comments.
386:
387:
388:
389: \section{$L^p(\nu)\rightarrow L^p(\mu)$ boundedness}
390: In this section we prove Theorems \ref{mthm} and \ref{bli}.
391: \begin{proof}[Proof of Theorem \ref{mthm}] %By standard Calder\'on-Zygmund
392: %techniques that still work when $\mu,\nu \in Delta$
393: Let $C>0$ be some constant such that
394: \begin{equation*}\mu(B(x,r))\leq Cr^{n-1}\text{ and }\nu(B(x,r))\leq
395: Cr^{n-1}\text{ for }x\in \Rn \text{ and }r>0.
396: \end{equation*}
397: Write $\mu=\mu_1+\mu_2$ and $\nu=\nu_1+\nu_2$ where $\mu_1=\mu
398: \lfloor C_f$ and $\nu_1=\nu \lfloor C_f$. By standard differentiation
399: theory of measures, see, e.g., \cite{M}, Section 2,
400: the measures $\mu_1$ and $\nu_1$ are absolutely continuous
401: with respect to $\sigma =\mathcal{H}^{n-1}\lfloor C_f$ with bounded
402: Radon-Nikodym derivatives. Hence there exist Borel functions $h_\mu$ and
403: $h_\nu$ such that $0\leq h_\mu\lesssim 1$ and $0\leq h_\nu\lesssim 1$ and that
404: $$d\mu_1=h_\mu d\sigma \text{ and }d\nu_1=h_\nu d\sigma.$$
405: By Theorems \ref{bl} and \ref{dav} we have for $g\in L^p(\nu)$,
406: \begin{equation*}
407: \begin{split}
408: \int (T_{\nu_1 }^{\ast }g)^p d\mu_1&=\int (T_{\sigma }^{\ast
409: }(gh_\nu))^ph_\mu d\sigma \lesssim \int |gh_\nu|^p d\sigma \\
410: &\lesssim\int |g|^p h_\nu d\sigma=\int |g|^p d\nu_1\leq \int |g|^p
411: d\nu,
412: \end{split}
413: \end{equation*}
414: \begin{equation*}
415: \int (T_{\nu_1 }^{\ast }g)^p d\mu_2=\int (T_{\sigma }^{\ast
416: }(gh_\nu))^p d\mu_2 \lesssim \int |gh_\nu|^p d\sigma \leq \int |g|^p
417: d\nu,
418: \end{equation*}
419: and
420: \begin{equation*}
421: \int (T_{\nu_2 }^{\ast }g)^p d\mu_1\lesssim \int (T_{\nu_2 }^{\ast
422: }(g))^p d\sigma \lesssim \int |g|^p d\nu_2\leq \int |g|^p d\nu.
423: \end{equation*}
424: As $T_{\nu }^{\ast }\leq T_{\nu_1 }^{\ast }+T_{\nu_2 }^{\ast }$ we
425: may thus assume that $\mu=\mu_2$ and $\nu=\nu_2$, that is,
426: $\mu(H_f^{-}\cup C_f)=\nu(H_f^{+}\cup
427: C_f)=0$, and also that $g(x)=0$ for $x \in H_f^{+}\cup C_f$.
428:
429: Let $L>\textmd{max}\{1,\textmd{Lip}(f)\}$. For $x_0=(u_0,f(u_0))\in C_f$
430: define the cone
431: $$\Gamma(x_0)=\{(u,t)\in \Rn: t-f(u_0)>4L|u-u_0| \},$$
432: and observe that
433: \begin{equation}
434: \label{cone} |y-x|\geq \frac{1}{8L}|y-x_0| \text { for }y \in \Gamma(x_0),x\in
435: H_f^{-}.
436: \end{equation}
437:
438: We define the non-tangential maximal function $N(g)$ for any
439: function $g:\R^n\rightarrow \overline{\R}$ by
440: \begin{equation*}
441: N(g)(x)=\sup \{|g(y)|:y\in \Gamma(x)\}.
442: \end{equation*}
443: For the maximal function $N(g)$, the following $L^p$ estimate holds.
444: \begin{lm}
445: \label{nc} For any $0 <p
446: <\infty$, and any $\mu$ measurable function $g:\R^n\rightarrow \overline{\R}$,
447: $$\int |g|^p d\mu \lesssim\int_{C_f} N(g)^p d\mathcal{H}^{n-1}.$$
448: \end{lm}
449: This follows from the fact that $\mu$ is a Carleson measure in
450: $H_f^{+}$, i.e.,
451: $$\mu(B(x,r))\leq C\mathcal{H}^{n-1}(C_f\cap B(x,r))\text{ for }x\in C_f,r>0.$$
452: A simple proof is given in \cite{Tor} for the case where
453: $C_f={\R}^{n-1}$ but the same argument holds for general $C_f$.
454:
455: \begin{lm}
456: \label{l2} For any $g \in L^1(\nu)$ and any $x \in C_f$,
457: $$N(T_{\nu}^{\ast }g)(x)\leq C_N(T_{\nu}^{\ast }g(x)+M_\nu g(x))$$
458: where
459: $$M_\nu g(x)=\sup_{r>0}r^{1-n}\int_{B(x,r)}|g|d\nu$$
460: and $C_N$ depends only on $n,L$ and $C$.
461: \end{lm}
462: \begin{proof} Let $y \in \Gamma(x)$ and $\varepsilon>0$.
463: We will estimate $|T_\nu^{\varepsilon}g(y)|$ by dividing the
464: argument to two cases. Let $r=|x-y|$ and assume first that
465: $\varepsilon <r$. Then
466: \begin{eqnarray*}
467: \left| T_{\nu }^{\varepsilon }g(x)-T_{\nu }^{\varepsilon
468: }g(y)\right| &=&\left| \int_{\Rn \setminus B(x,\varepsilon
469: )}K(x-z)g(z)d\nu
470: z-\int_{\Rn \setminus B(y,\varepsilon )}K(y-z)g(z)d\nu z\right| \\
471: & \leq & \int_{\Rn \setminus B(x,2r)}\left| K(x-z)-K(y
472: -z)\right||g(z)| d\nu z \\
473: &&+\int_{H_f^{-}\cap B(x,2r)}|K(y-z)||g(z)|d\nu z \\
474: &&+\left|\int_{B(x,2r)\backslash B(x,\varepsilon
475: )}K(x-z)g(z)d\nu z\right| \\
476: \end{eqnarray*}
477: We estimate the first integral by integrating over the annuli
478: $B(x,2^{i}r)\setminus B(x,2^{i-1}r),i\in \mathbb{N},i\geq 2$. By the
479: Mean Value Theorem we derive that
480: \begin{eqnarray*}
481: \left| K(x-z)-K(y-z)\right| &\leq &\left| \nabla K(\xi
482: (z))\right| \left|x-y\right| \\
483: &\leq &\frac{C_{1}^K\left| x-y\right| }{\left| \xi (z)\right| ^{n}}
484: \end{eqnarray*}
485: where $\xi (z)$ lies in the line segment joining $y-z$ to $x-z$.
486: Furthermore for $i\in \mathbb{N},i\geq 2,$ and $z\in
487: B(x,2^{i}r)\backslash B(x,2^{i-1}r)$,
488: \begin{equation*}
489: \begin{split}
490: | \xi (z)| &\geq | x-z| -| \xi(z)-(x-z)| \\
491: &\geq |x-z| -|(y-z)-(x-z)| \\
492: &\geq 2^{i-2}r.
493: \end{split}
494: \end{equation*}
495: Hence
496: \begin{equation*}
497: \begin{split}
498: \int_{\Rn \setminus B(x,2r)}\left| K(x-z)-K(y-z)\right|&|g(z)| d\nu
499: z \\
500: &\leq \sum_{i=2}^{\infty}\int_{B(x,2^{i}r)\backslash
501: B(x,2^{i-1}r)}\frac{C_{1}^K\left| x-y\right| }{\left| \xi (z)\right|
502: ^{n}}|g(z)|d\nu z \\
503: &\leq
504: 4^{n}C_{1}^K\sum_{i=2}^{\infty}2^{-i}\frac{1}{(2^ir)^{n-1}}\int_{B(x,2^{i}r)}|g(z)|d\nu
505: z \\
506: &\leq 4^{n}C_{1}^K M_\nu g(x).
507: \end{split}
508: \end{equation*}
509: For the second integral, using (\ref{cone}) we estimate,
510: \begin{equation*}
511: \begin{split}
512: \int_{H_f^{-}\cap B(x,2r)}|K(y-z)||g(z)|d\nu z &\leq C_0^K
513: \int_{H_f^{-}\cap B(x,2r)}|y-z|^{1-n}|g(z)|d\nu z \\
514: &\leq (16L)^{n-1}C_0^K (2r)^{1-n}\int_{B(x,2r)}|g(z)|d\nu z\\
515: &\leq (16L)^{n-1}C_0^K M_\nu g(x)
516: \end{split}
517: \end{equation*}
518: Obviously the third integral is bounded by $2T_{\nu}^{\ast }g(x)$.
519: Therefore,
520: \begin{equation}
521: \label{fes} \left|T_{\nu }^{\varepsilon }g(y)\right|\leq
522: 3\left|T_{\nu }^{\ast}g(x)\right|+D_1 M_\nu g(x)
523: \end{equation}
524: where $D_1=4^{n}C_{1}^K+(16L)^{n-1}C_0^K$.
525:
526: Secondly, suppose that $\varepsilon \geq r$. Then
527: \begin{eqnarray*}
528: \left| T_{\nu }^{\varepsilon }g(x)-T_{\nu }^{\varepsilon
529: }g(y)\right| &=&\left| \int_{\Rn \setminus B(x,\varepsilon
530: )}K(x-z)g(z)d\nu
531: z-\int_{\Rn \setminus B(y,\varepsilon )}K(y-z)g(z)d\nu z\right| \\
532: & \leq & \int_{\Rn \setminus B(x,2\varepsilon)}\left| K(x-z)-K(y
533: -z)\right||g(z)| d\nu z \\
534: &&+\int_{B(x,2\varepsilon)\setminus B(y,\varepsilon)}|K(y-z)||g(z)|d\nu z \\
535: &&+\left|\int_{B(x,2\varepsilon)\setminus B(x,\varepsilon)}K(x-z)g(z)d\nu z\right| \\
536: \end{eqnarray*}
537: Exactly as before
538: $$\int_{\Rn \setminus B(x,2\varepsilon)}\left| K(x-z)-K(y
539: -z)\right||g(z)| d\nu z\leq 4^{n}C_{1}^K M_\nu g(x),$$
540: $$\int_{B(x,2\varepsilon)\setminus
541: B(y,\varepsilon)}|K(y-z)||g(z)|d\nu z\leq 2^{n-1}C_0^K M_\nu g(x)$$
542: and $$\left|\int_{B(x,2\varepsilon)\setminus
543: B(x,\varepsilon)}K(x-z)g(z)d\nu z\right| \leq 2T_{\nu}^{\ast
544: }g(x).$$ Therefore,
545: \begin{equation}
546: \label{ses} \left|T_{\nu }^{\varepsilon }g(y)\right|\leq
547: 3\left|T_{\nu }^{\ast}g(x)\right|+D_2 M_\nu g(x)
548: \end{equation}
549: where $D_2=4^{n}C_{1}^K+2^{n-1}C_0^K.$ Choosing $C_N=D_1$ and
550: combining (\ref{fes}) and (\ref{ses}) we complete the proof the
551: Lemma \ref{l2}.
552: \end{proof}
553: We can now proceed and finish the proof of Theorem \ref{mthm}. By
554: Lemmas \ref{nc} and \ref{l2}, Theorems \ref{bl} and \ref{dav}, the $L^p$-boundedness
555: of $M_{\nu+\sigma}$ (see, e.g., \cite{M}, Theorem 2.19) and the fact that
556: $g(x)=0$ for $x\in C_f$,
557: \begin{equation*}
558: \begin{split}
559: \int(T_{\nu}^{\ast }g)^p d\mu &\lesssim \int N(T_{\nu}^{\ast }g)^p
560: d\sigma \\
561: &\lesssim \int (T_{\nu}^{\ast }g)^p d\sigma+ \int (M_\nu g)^p
562: d\sigma\\
563: &\lesssim \int |g |^p d\nu+ \int (M_{\nu+\sigma} g)^p
564: d(\nu+\sigma)\\
565: &\lesssim \int |g |^p d\nu+\int |g |^p d(\nu+\sigma)\\
566: &=2\int |g |^p d\nu.
567: \end{split}
568: \end{equation*}
569: The proof is finished.
570: \end{proof}
571:
572: \begin{proof}[Proof of Theorem \ref{bli}]
573: Denote $\nu=\mu\lfloor H_f^-$ and $\lambda=\mu\lfloor(H_f^+\cup C_f)$.
574: By Theorem \ref{mthm}
575: \begin{equation*}
576: T_{\nu }^{\ast }:L^{2}(\nu )\rightarrow L^{2}(\lambda )
577: \end{equation*}
578: is bounded. Therefore by H\"{o}lder's inequality
579:
580: $$\int T_{\nu }^{\ast }(1)d\lambda \leq
581: \| T_{\nu }^{\ast}(1)\| _{L^{2}(\lambda )}\| 1\| _{L^{2}(\lambda )} \lesssim
582: \| T_{\nu }^{\ast }(1)\| _{L^{2}(\lambda )} \lesssim\| 1\| _{L^{2}(\nu )}<\infty.$$
583:
584: For $z\in H_{f}^{+}$ the limit
585: \begin{equation*}
586: \underset{\varepsilon \rightarrow 0}{\lim }T_{\nu }^{\varepsilon
587: }(1)(z)
588: \end{equation*}
589: exists since $H_{f}^{+}\cap \textmd{spt}\nu=\emptyset $. Furthermore
590: by Theorem \ref{pv} the above limit also exists for $\mu $ almost
591: every $z\in C_f$. Thus by the Lebesgue dominated
592: convergence theorem we derive that the limit
593: \begin{equation*}
594: \underset{\varepsilon \rightarrow 0}{\lim }\int_{H_{f}^{+} \cup
595: C_{f}}T_{\nu }^{\varepsilon }(1)(z)d\mu z=\underset{\varepsilon
596: \rightarrow 0}{\lim }\underset{\left| x-y\right| >\varepsilon
597: }{\int_{\Rn\setminus H_{f}^{-}}\int_{H_{f}^{-}}}K(x-y)d\mu yd\mu x
598: \end{equation*}
599: exists and is finite, completing the proof of Theorem \ref{bli}.
600: \end{proof}
601: \emph{Remark.} As a corollary of Theorem \ref{bli} and Fubini's
602: theorem we derive that the limit
603: \begin{equation*}
604: \underset{\varepsilon \rightarrow 0}{\lim }\underset{\left|
605: x-y\right|
606: >\varepsilon }{\int_{H_{f}^{+}}\int_{\Rn\backslash H_{f}^{+}}}K(x-y)d\mu
607: yd\mu x
608: \end{equation*}
609: exists under the same assumptions as in Theorem \ref{bli}.
610:
611: \section{Weak Convergence in $\mathcal{X}_{B}(\mathbb{R}^{n})$ and
612: $\mathcal{X}_{Q}(\mathbb{R}^{n})$}
613:
614: To prove Theorem \ref{main} let $f,g\in
615: \mathcal{X}_{Q}(\mathbb{R}^{n})$ or $f,g\in
616: \mathcal{X}_{B}(\mathbb{R}^{n})$ be such that
617: \begin{equation*}
618: f=\overset{l}{\underset{i=1}{\sum }}a_{i}\chi _{Q_{i}}\text{ and }g=\overset{%
619: m}{\underset{j=1}{\sum }}b_{j}\chi _{P_{j}},
620: \end{equation*}
621: where $a_{i},b_{j}\in \mathbb{R}$ and $Q_{i},P_{j}$ are closed balls or
622: $Q_{i},P_{j}$ are closed rectangles. Then for $\varepsilon >0$,
623:
624: \begin{equation*}
625: \int T_{\mu }^{\varepsilon }f(x)g(x)d\mu
626: x=\overset{m}{\underset{j=1}{\sum }}\overset{l}{\underset{i=1}{\sum
627: }}b_{j}a_{i}\underset{\left| x-y\right|
628: >\varepsilon }{\int_{P_{j\text{ }}}\int_{Q_{i}}}K(x-y)d\mu yd\mu x.
629: \end{equation*}
630: Therefore it is enough to show that for balls $P,Q$ or rectangles $P,Q$ the limit
631: \begin{equation*}
632: \underset{\varepsilon \rightarrow 0}{\lim }\underset{\left|
633: x-y\right|
634: >\varepsilon }{\int_{P}\int_{Q}}K(x-y)d\mu yd\mu x
635: \end{equation*}
636: exists. But,
637: \begin{equation*}
638: \underset{\left| x-y\right| >\varepsilon
639: }{\int_{P}\int_{Q}}K(x-y)d\mu yd\mu x =I_1+I_2+I_3+I_4,
640: \end{equation*}
641: where,
642: \begin{eqnarray*}
643: I_1&=&\underset{\left| x-y\right| >\varepsilon }{\int_{P\cap Q}\int_{P\cap Q}}%
644: K(x-y)d\mu yd\mu x, \\
645: I_2&=&\underset{\left| x-y\right| >\varepsilon }{\int_{P\backslash
646: Q}\int_{P\cap Q}}K(x-y)d\mu yd\mu x, \\
647: I_3&=&\underset{\left| x-y\right| >\varepsilon }{\int_{P\cap
648: Q}\int_{Q\backslash P}}K(x-y)d\mu yd\mu x, \\
649: I_4&=&\underset{\left| x-y\right| >\varepsilon }{\int_{P\backslash
650: Q}\int_{Q\backslash P}}K(x-y)d\mu yd\mu x.
651: \end{eqnarray*}
652: By the antisymmetry of $K$, for every $\varepsilon>0$,
653: \begin{equation*}
654: I_1=0.
655: \end{equation*}
656: Furthermore by Fubini's theorem $I_3$ is essentially the same with
657: $I_2$, allowing us to treat only $I_2$ and $I_4$. In that direction
658: notice that for every rectangle, or ball, say $P$, there exist some
659: collection of rotations of Lipschitz graphs
660: $\{F_{i}(P)\}_{i=1}^{2n}$, and disjoint Borel sets
661: $\{A_{i}(P)\}_{i=1}^{2n}$, such that
662: \begin{eqnarray*}
663: \Rn \setminus P&=&\cup_{i=1}^{2n} A_{i}(P),\\
664: P&\subset &H_{F_{i}(P)}^{-}\cup F_{i}(P),\\
665: A_{i}(P)&\subset &H_{F_{i}(P)}^{+}.
666: \end{eqnarray*}
667: \begin{figure}
668: \centering
669: \includegraphics[scale = 0.3]{cubes.eps}
670: \caption[]{}\label{fig2}
671: \end{figure}
672: See Figure \ref{fig2} for an illustration in the case when $P$ is a
673: subset of the plane. Using the above geometric property $I_2$ and
674: $I_4$ can be decomposed in the following way,
675: \begin{equation*}
676: I_2=\sum_{i=1}^{2n}\underset{\left| x-y\right|
677: >\varepsilon }{\int_{A_{i}(Q)\cap P}\int_{P\cap Q}}K(x-y)d\mu yd\mu
678: x
679: \end{equation*}
680: and
681: \begin{equation*}
682: I_4=\sum_{i=1}^{2n}\underset{\left| x-y\right|
683: >\varepsilon }{\int_{A_{i}(Q)\cap P}\int_{Q \setminus P}}K(x-y)d\mu yd\mu
684: x.
685: \end{equation*}
686: Therefore since limits like
687: \begin{equation*}
688: \lim_{\varepsilon \rightarrow 0}\underset{\left| x-y\right|
689: >\varepsilon }{\int_{A_{i}(Q)\cap P}\int_{P\cap Q}}K(x-y)d\mu yd\mu
690: x
691: \end{equation*}
692: and
693: \begin{equation*}
694: \lim_{\varepsilon \rightarrow 0} \underset{\left| x-y\right|
695: >\varepsilon }{\int_{A_{i}(Q)\cap P}\int_{Q \setminus P}}K(x-y)d\mu yd\mu
696: x
697: \end{equation*}
698: exist by Theorem \ref{bli} we finally obtain Theorem \ref{main}.
699:
700:
701: \begin{thebibliography}{CMM}
702:
703: \bibitem[C1]{C1} V. Chousionis, \emph{Singular integrals on Sierpinski gaskets}, Publ. Mat. 53 (2009), no. 1, 245--256.
704:
705: \bibitem[C2]{C2} V. Chousionis, \emph{Directed porosity on conformal iterated function
706: systems and weak convergence of singular integrals}, Ann. Acad. Sci. Fenn. Math. 34 (2009), no. 1, 215--232.
707:
708: \bibitem[D1]{D} G. David,
709: \emph{Op\'{e}rateurs int\'{e}graux singuliers sur certaines courbes
710: du plan complexe}, Ann. Sci. \'Ecole Norm. Sup. (4) 17 (1984), no.
711: 1, 157--189.
712:
713: \bibitem[D2]{D88} G. David,
714: \emph{Op\'{e}rateurs int\'{e}grale singuli\'{e}re sur les surfaces r\'{e}guli\'{e}res}. Annales scientifiques de l'\'{E}cole Normale Sup\'{e}rieure, S\'{e}r. 4, 21 no. 2 (1988), p. 225-258
715:
716:
717: \bibitem[D3]{Db} G. David,
718: \emph{Wavelets and singular integrals on curves and surfaces},
719: Lecture Notes in Mathematics, 1465. Springer-Verlag, Berlin, (1991).
720:
721: \bibitem[D4]{D3} G. David, \emph{Des int\'{e}grales singuli\`{e}res
722: born\'{e}es sur un ensemble de Cantor}, C. R. Acad. Sci. Paris Sr.
723: I Math. 332 (2001), no. 5, 391--396.
724:
725: \bibitem[DS]{DS} G. David, S. Semmes, \emph{Analysis of and on uniformly
726: rectifiable sets}, Mathematical Surveys and Monographs, 38. American
727: Mathematical Society, Providence, RI, (1993).
728:
729: \bibitem[L]{L} J. C. L\'{e}ger, \emph{Menger curvature and rectifiability}, Ann. of Math.
730: (2) 149 (1999), no. 3, 831--869.
731:
732: \bibitem[M]{M} P. Mattila, \emph{Geometry of sets and measures in Euclidean spaces},
733: Cambridge University Press, (1995).
734:
735: \bibitem[MM]{MM}P. Mattila, and M. S. Melnikov,
736: \emph{ Existence and weak-type inequalities for Cauchy integrals of
737: general measures on rectifiable curves and sets }, Proc.
738: Amer. Math. Soc. 120 (1994), no. 1, 143--149.
739:
740: \bibitem[MMV]{MMV}P. Mattila, M. S. Melnikov, and J. Verdera,
741: \emph{The Cauchy integral, analytic capacity, and uniform rectifiability}, Ann. of Math. (2) 144 (1996), no. 1, 127--136.
742:
743: \bibitem[MP]{MPr} P. Mattila, and D. Preiss,
744: \emph{Rectifiable measures in $\Rn$ and existence of principal
745: values for singular integrals}, J. London Math. Soc., 52 (1995),
746: 482-496.
747:
748: \bibitem[MV]{MV}P. Mattila, and J. Verdera, \emph{Convergence of
749: singular integrals with general measures}, J. Eur. Math. Soc. (JEMS) 11 (2009), no. 2, 257--271.
750:
751: \bibitem[MeV]{MeV} M. S. Melnikov, J. Verdera, \emph{A geometric proof of the $L\sp
752: 2$ boundedness of the Cauchy integral on Lipschitz graphs},
753: Internat. Math. Res. Notices (1995), no. 7, 325--331.
754:
755: \bibitem[NTV]{NTV} F. Nazarov, S. Treil, and A. Volberg, \emph{Weak type estimates and
756: Cotlar inequalities for Calder\'on-Zygmund operators on
757: nonhomogeneous spaces}, Internat. Math. Res. Notices (1998), no.
758: 9, 463-487.
759:
760: \bibitem[T]{T}X.Tolsa,
761: \emph{Principal values for Riesz transforms and rectifiability},
762: J. Funct. Anal. vol. 254(7) 2008, 1811-1863.
763:
764: \bibitem[Tor]{Tor} A. Torchinsky,\emph{ Real-variable methods in harmonic analysis}, Dover
765: Publications, Inc., (2004).
766:
767: \bibitem[V]{V}J. Verdera,
768: \emph{A weak type inequality for Cauchy transforms of finite
769: measures}, Publ. Mat. 36 (1992), no. 2B, 10291034.
770:
771: \end{thebibliography}
772:
773: \vspace{1cm}
774: \begin{footnotesize}
775: {\sc Department of Mathematics and Statistics,
776: P.O. Box 68, FI-00014 University of Helsinki, Finland,}\\
777: \emph{E-mail addresses:} \verb"vasileios.chousionis@helsinki.fi",
778: \verb"pertti.mattila@helsinki.fi"
779:
780: \end{footnotesize}
781:
782: \end{document}
783: