Harmonic Analysis and Partial Differential Equations
Org:
Almaz Butaev (Calgary) and
Galia Dafni (Concordia)
[
PDF]
 RYAN ALVARADO, Amherst College
Optimal embeddings and extensions for TriebelLizorkin spaces in spaces of homogeneous type [PDF]

Embedding and extension theorems for certain classes of function spaces in $\mathbb{R}^n$ (such as Sobolev spaces) have played a fundamental role in the area of partial differential equations. In this talk, we will discuss some recent work which builds upon such results and identifies necessary and sufficient conditions guaranteeing that certain Sobolevtype inequalities and extension results hold for the scale of TriebelLizorkin spaces ($M^s_{p,q}$ spaces) in the general context of spaces of homogeneous type. An interesting facet of this work is how the range of $s$ (the smoothness parameter) for which these inequalities and extension results hold is intimately linked to the geometric makeup of the underlying space. This talk is based on joint work with Dachun Yang and Wen Yuan.
 TATYANA BARRON, University of Western Ontario
Weighted Bergman spaces on the ball and submanifolds [PDF]

I will talk about certain finitedimensional subspaces of weighted Bergman spaces on the unit ball in ${\mathbb{C}}^n$. Informally speaking, to a submanifold $M$ of the ball one can associate an element $f$ of this function space, by integrating the Bergman kernel over $M$. I will talk about norm estimates on $f$, and how they reflect the geometry of $M$.
 ZACHARY BRADSHAW, University of Arkansas
Nondecaying solutions to the critical surface quasigeostrophic equations with symmetries [PDF]

We discuss a theory of selfsimilar solutions to the critical surface quasigeostrophic equations due to Dallas Albritton and Z.B. In particular, we examine a construction of selfsimilar solutions for arbitrarily large data in various regularity classesincluding some large, unbounded, nondecaying functionsand demonstrate, in the small data regime, uniqueness and global asymptotic stability. These solutions are nondecaying at spatial infinity, which leads to ambiguity in the drift velocity. This ambiguity is corrected by imposing mfold rotational symmetry. The selfsimilar solutions of interest lie just beyond the known wellposedness theory and are expected to shed light on potential nonuniqueness, due to the possibility of symmetrybreaking bifurcations.
 SAGUN CHANILLO, Rutgers University
Local Version of Courant's Nodal Domain Theorem [PDF]

Given a compact Riemannian manifold with no boundary $(M^n,g)$
endowed with a smooth metric $g$, one of the important objects of
study is the LaplaceBeltrami operator and its eigenfunctions. That
is
$$\Delta u_k=\lambda_k u_k.$$
The Courant nodal domain theorem asserts that the $k$th
eigenfunction has at most $k$ nodal domains, where a nodal domain is
a connected component of the set $\{x\ u_k(x)\not =0\}$. Harold
Donnelly and C. Fefferman initiated the study of local versions of
this result with a goal to show that nodal domains cannot be long
and narrow. This was related to a conjecture of S.T. Yau on the
length of the nodal set. The nodal set is the set $\{xu_k(x)=0\}$. In this joint work with A. Logunov, E. Mallinikova and
D. Mangoubi, we obtain an optimal bound for results of this type.
 DAVID CRUZURIBE, The University of Alabama
Sharp constant estimates for matrix weighted inequalities [PDF]

In this talk we will review some recent work on strong $(p,p)$ and
weak $(1,1)$ inequalities with matrix weights: e.g., inequalities of
the form
\[ \int_{\mathbb{R}^n} W^{1/p}(x)T\mathbf{f}(x)^p\,dx
\leq C \int_{\mathbb{R}^n} W^{1/p}(x)\mathbf{f}(x)^p\,dx, \]
\[ \{ x\in \mathbb{R}^n :
 W(x) T(W^{1}\mathbf{f})(x) > t \}
\leq \frac{C}{t}\int_{\mathbb{R}^n} \mathbf{f}(x)\,dx. \]
$W$ is an $n\times n$ selfadjoint, positive semidefinite matrix that
satisfies the matrix $A_p$ condition, and $T$ is a Calder\'onZygmund
operator. We will also mention results for the Golderg maximal
operator and commutators. We will conclude with some open questions
in both the scalar and matrix weighted cases.
This is joint work with Kabe Moen, Josh Isralowitz, Sandra Pott and
Israel RiveraRios.
 GUY C. DAVID, Ball State University
Quantitative decompositions of Lipschitz mappings [PDF]

Given a Lipschitz map, it is often useful to chop the domain into pieces on which the map has simple behavior. For example, depending on the dimensions of source and target, one may ask for pieces on which the map behaves like a biLipschitz embedding or like a linear projection. It is even more useful if this decomposition is quantitative, i.e., with bounds independent of the particular map or spaces involved. After surveying the question of biLipschitz decomposition, we will discuss the more complicated case in which dimension decreases, e.g., for maps from $\mathbb{R}^3$ to $\mathbb{R}^2$. This is joint work with Raanan Schul, improving a previous result of AzzamSchul.
 RYAN GIBARA, Université Laval
Dyadic structure theorems for strong function spaces [PDF]

The space $BMO(\mathbb{R}^n)$ can be shown to coincide with the intersection of $N$ dyadictype $BMO$ spaces, where $N>1$. Moreover, it is known that the sharp (i.e. smallest possible) value for $N$ is $n+1$. In joint work with José CondeAlonso, we consider the case of strong $BMO(\mathbb{R}^n)$, where mean oscillation is bounded over all rectangles with sides parallel to the axes. We exploit the product structure inherent to rectangles and inherited by strong $BMO(\mathbb{R}^n)$ to show that an analogous result holds for this function space with $N=2$ regardless of the dimension. Other function spaces such as $BLO$ and $VMO$ are also considered.
 PAUL HAGELSTEIN, Baylor University
On the finiteness of strong maximal functions associated to functions whose integrals are strongly differentiable [PDF]

Besicovitch proved that if $f$ is an integrable function on $\mathbb{R}^2$ whose associated strong maximal function $M_S f$ is finite a.e., then the integral of $f$ is strongly differentiable. On the other hand, Papoulis proved the existence of a function in $L^1(\mathbb{R}^2)$ (taking on both positive and negative values) whose integral is strongly differentiable but whose associated strong maximal function is infinite on a set of positive measure. In this talk, we discuss a recent result of Hagelstein and Oniani that if $f\in L^1(\mathbb{R}^n)$ is a \emph{nonnegative} function whose integral is strongly differentiable and moreover such that $f(1 + \log^+ f)^{n2}$ is integrable, then $M_S f$ is finite a.e. This result is sharp in that, if $\phi$ is a convex increasing function on $[0, \infty)$ such that $\phi(0) = 0$ and with $\phi(u) = o(u (1 + \log^+ u)^{n2})$ $(u\rightarrow \infty)$, then there exists a nonnegative function $f$ on $\mathbb{R}^n$ such that $\phi(f)$ is integrable on $\mathbb{R}^n$ and the integral of $f$ is strongly differentiable, although $M_S f$ is infinite on a set of positive measure.
 RITVA HURRISYRJÄNEN, University of Helsinki
On the JohnNirenberg Space [PDF]

The talk will address 'from local to global' questions for functions in the JohnNirenberg space.
When inequalities are known to be true locally, we will discuss corresponding global results for functions defined in bounded domains.
My talk is based on joint work with Niko Marola and Antti V. Vähäkangas.
 DAMIR KINZEBULATOV, Université Laval
Heat kernel bounds and stochastic equations with singular (formbounded) drift [PDF]

I will talk about recent results on sharp twosided heat kernel bounds for divergenceform parabolic equations with drift having critical singularities, and related results on stochastic differential and stochastic transport equations. The talk is based on joint papers with K.R.Madou, Yu.A.Semenov and R.Song.
 LUDA KOROBENKO, Reed College
Continuity of weak solutions via the trace method [PDF]

In this talk I will discuss some new regularity results for weak solutions to infinitely degenerate elliptic equations on the plane. The main result is continuity of weak solutions for operators that have bounded measurable coefficients and are only comparable to the diagonal operator of the form $\partial^{2}_{x}+f^{2}(x)\partial^{2}_{y}$, which can be seen as a generalization of Fedi\u{\i}'s remarkable hypoellipticity theorem. To establish this result, we develop a trace method that first constructs a region in $\mathbb{R}^2$ on whose
boundary a given subsolution $u$ has a suitable trace, and then applies a maximum principle to derive local boundedness and continuity of weak solutions.
 MARTA LEWICKA, University of Pittsburgh
On the MongeAmpere system [PDF]

The MongeAmpere equation $\det\nabla^2 u =f$ posed on a $N=2$ dimensional domain, has a natural weak formulation that appears as the constraint condition in the $\Gamma$limit of the dimensionally reduced nonEuclidean elastic energies. This formulation reads: $curl^2 (\nabla v\otimes \nabla v) = 2f$ and it allows, via the NashKuiper scheme of convex integration, for constructing multiple solutions that are dense in $C^0(\omega)$, at the regularity $C^{1,\alpha}$ for any $\alpha<1/7$. $\\$
Does a similar result hold in higher dimensions $N>2$? Indeed it does, but one has to replace the MongeAmpere equation by a “MongeAmpere system”, altering $curl^2$ to the corresponding operator whose kernel consists of the symmetrised gradients of $N$dimensional displacement fields. We will show how this MongeAmpere system arises from the prescribed Riemannian curvature problem by matched asymptotic expansions, similarly to how the prescribed Gaussian curvature problem leads to the MongeAmpere equation in 2d, and prove that its flexibility at $C^{1,\alpha}$ for any $\alpha<1/(N^2+N+1)$.
 CLAUDIO MACHADO VASCONCELOS, Universidade Federal de São Carlos
On the continuity of CalderónZygmundtype operators on Hardy spaces [PDF]

In this talk, we will discuss some boundedness results for strongly singular CalderónZygmund operators on Hardy spaces $H^p(\mathbb{R}^n)$ and its local version $h^p(\mathbb{R}^n)$ for $0 < p \leq 1$. Operators of this type are generalizations of weaklystrongly multipliers and include appropriate classes of pseudodifferential operators in the Hörmander class. In particular, we assume some $L^s$type integral estimates on their kernel and present some interesting molecular decomposition of $h^p(\mathbb{R}^n)$, in which a weaker cancellation condition is assumed.
This is joint work with Tiago Picon (University of São Paulo), Galia Dafni and Chun Ho Lau (Concordia University).
 TOMAS MERCHÁN, University of Minnesota
Huovinen transform and rectifiability [PDF]

A major theorem of Tolsa, building upon prior work of MattilaPreiss, states that if $E \subset \mathbb{R}^d$ with $\mathcal{H}^s(E)<\infty$ ($s \in \mathbb{Z}$), and the $s$Riesz transform associated to $E$ exists in principal value, then the set $E$ is $s$rectifiable. It has been an open problem if the analogous theorem holds in the case of the Huovinen transform (which has kernel $K(z)=z^k/z^{k+1}$ in $\mathbb{C}$ for $k$ odd) for sets of positive and finite length. In the talk we will discuss this problem.
 DORINA MITREA, Baylor University
A Sharp Divergence Theorem [PDF]

In this talk I will discuss a version of the Divergence Theorem for vector fields which
may lack any type of continuity and for which the boundary trace is taken in a strong,
nontangential pointwise sense. These features of our brand of Divergence Theorem
make it an effective tool in dealing with problems arising in various areas of mathematics,
including Harmonic Analysis, Complex Analysis, Potential Analysis, and Partial Differential Equations. A few such applications will be presented.
 MARIUS MITREA, Baylor University
Singular Integrals, Geometry of Sets, and Boundary Problems [PDF]

Presently, it is well understood what geometric features are necessary and sufficient
to guarantee the boundedness of convolutiontype singular integral operators (SIO's) on Lebesgue
spaces. This being said, dealing with other function spaces where membership entails more than
a mere size condition (like Sobolev spaces, Hardy spaces, or the JohnNirenberg space BMO) requires
new techniques. In this talk I will explore recent progress in this regard, and follow up the implications
of such advances into the realm of boundary value problems.
 VIRGINIA NAIBO, Kansas State University
Pseudomultipliers on Hermite Besov and Hermite TriebelLizorkin spaces [PDF]

We will present boundedness properties of pseudomultipliers with symbols of Hörmandertype in function spaces associated to the Hermite operator. The main tools in the proofs involve new molecular decompositions and molecular synthesis estimates for Hermite Besov and Hermite TriebelLizorkin spaces, which allow to obtain boundedness results on spaces for which the smoothness allowed includes nonpositive values. In particular, we obtain continuity results for pseudomultipliers on Lebesgue and Hermite local Hardy spaces. This is based on joint work with Fu Ken Ly (The University fo Sydney).
 SCOTT RODNEY, Cape Breton University
Iterations in PDEs [PDF]

In this talk I will discuss some recent progress on joint work with D. CruzUribe (University of Alabama) and S.F. MacDonald (CBU) concerning the boundedness of weak solutions to equations of the form
$$\textrm{Div}\left(Q(x)\nabla u(x)\right) = f(x)$$
in a bounded domain $\Omega$ of $\mathbb{R}^n$ with $n\geq 4$ and where $Q(x)$ is a symmetric nonnegative definite matrix valued function on $\Omega$. Using a De Giorgi iterative process we produce boundedness results for weak solutions $u$ when the data function $f$ belongs to an Orlicz class $L^\Psi(\Omega)$ where $\Psi$ is a particular type of Young function satisfying $\Psi(t) > t^{n/2}$.
 NAGES SHANMUGALINGAM, University of Cincinnati
Using hyperbolic fillings to connect Besov spaces of functions on doublling metric space to Sobolev functions on uniform domains [PDF]

In this talk we will describe a way of identifying Besov spaces of functions on a compact doubling metric measure space as traces of Sobolev spaces on uniform domains. Functions in Besov spaces have nonlocal energy and so it is advantageous from the point of view of regularity theory to associate them with more local energy spaces such as Sobolev spaces. This talk is based on joint work with Anders Bjorn and Jana Bjorn.
 CODY STOCKDALE, Clemson University
Weighted theory of compact operators [PDF]

The boundedness properties of singular integral operators are of central importance in analysis. Within the last decade, optimal bounds for general CalderónZygmund operators acting on weighted Lebesgue spaces in terms of Muckenhoupt weight characteristics have been obtained. In addition to this theory concerning boundedness, a theory for compactness of CalderónZygmund
operators has recently been established. The first goal of this talk is to present the
extension of compact CalderónZygmund theory to weighted spaces using sparse
domination techniques. A similar line of research concerns the weighted boundedness of the Bergman projection in terms of BekolléBonami weights, and compactness
in this setting can be understood within the study of Toeplitz operators. We also
discuss the weighted theory of Toeplitz operators on the Bergman space.
 ALEX STOKOLOS, Georgia Southern University
``An extremal problem for polynomials'' [PDF]

In 1987 M.Brandt solved the extremal problem
\[
\sup_ {a_2,...,a_N}
\left ({ \inf_{z\in \mathbb D}
\left\{ {\Re \left ({ F\left (z\right) } \right): \Im
\left ({ F\left (z \right) } \right) = 0 } \right\} } \right)
\]
for the univalent in $\mathbb D$ polynomials $\displaystyle F(z)=\sum_ { j = 1 } ^N a_jz^j$ with real coefficients and normalization \({a_1} = 1 \). He proved that the solution is $\frac14 \sec ^2\frac\pi{N + 2}$, and found the extremal polynomial. We prove that the above problem stated for general (not necessary univalent) polynomials has the same solution and the same extremizer. Moreover, we prove the uniqueness of the extremizer and obtain the estimate on the Koebe radius for polynomials in various settings. This is a joint work with Dmitriy Dmitrishin and Andrey Smorodin.
 KRYSTAL TAYLOR, The Ohio State Math Department
Quantifications of the Besicovitch Projection theorem in a nonlinear setting [PDF]

There are many classical results relating the geometry, dimension, and measure of a set to the structure of its orthogonal projections.
It turns out that many nonlinear projectiontype operators also have special geometry that allows us to build similar relationships between a set and its ``projections,'' just as in the linear setting.
We will discuss a series of recent results from both geometric and probabilistic vantage points.
In particular,
we will see that the multiscale analysis techniques of Tao, as well as the energy techniques of Mattila, can be strengthened and generalized to projectiontype operators satisfying a transversality condition.
As an application, we find upper and lower bounds for the rate of decay of
the Favard curve length of the fourcorner Cantor set.
 IGNACIO URIARTETUERO, University of Toronto
Two weight norm inequalities for singular and fractional integral operators in $\mathbb{R}^n$ [PDF]

I will report on recent progress on the two weight problem for singular and fractional integral operators in $\mathbb{R}^n$, in particular a two weight local Tb theorem in higher dimensions.
Joint work with Christos Grigoriadis, Michalis Paparizos, Eric Sawyer, ChunYen Shen.
 JEAN VAN SCHAFTINGEN, UCLouvain
Marcinkiewicz meets Gagliardo and Sobolev: weaktype formulas for norms of the gradient [PDF]

I will present new results characterising Sobolev norms of functions with Marcinkiewicz weaktype estimates for the integrand of the Gagliardo seminorm and their application to detection of constant functions and repairing the fractional Gagliardo–Nirenberg interpolation at endpoints where it fails.
This is a joint work with Haim Brezis (Rutgers, Technion Haifa and Sorbonne) and Po Lam Yung (Chinese University of Hong Kong and Australian National University).
 J. MICHAEL WILSON, University of Vermont
Perturbation of dyadic averages [PDF]

If $f:{\bf R}^d\to{\bf C}$ is locally integrable and $E\subset{\bf R}^d$ is bounded and measurable, with positive Lebesgue measure $\vert E\vert$, then $f_E$ means $f$'s average over $E$: $f_E:={1\over\vert E\vert}\int_E f\,dt$.
${\cal D}$ denotes the family of dyadic cubes in ${\bf R}^d$. By the Lebesgue Differentiation Theorem, for a.e.~$x\in{\bf R}^d$, $f_Q\rightarrow f(x)$ as $\vert Q\vert\rightarrow0$, for $Q\in{\cal D}$ such that $x\in Q$. Suppose that, for some fixed $0<\eta\ll 1$, and for every $Q\in{\cal D}$, we have an $n\times n$ real matrix $A^{(Q)}$ and a vector $y^{(Q)}\in{\bf R}^d$ such that: a) $\Vert I_dA^{(Q)}\Vert_\infty<\eta$, where $I_d$ is the identity matrix and $\Vert\cdot\Vert_\infty$ is the standard matrix norm; b) $\vert y^{(Q)}\vert\leq\eta$. For each $Q\in{\cal D}$ define
\begin{eqnarray*}F^{(Q)}(x)&:=&\chi_Q\left(A^{(Q)}(xx_Q+\ell(Q)y^{(Q)})+x_Q\right)\&=:&\chi_{Q^*}(x),\end{eqnarray*}
where $x_Q$ is $Q$'s center. We think of $Q^*$ as a perturbation of $Q$ resulting from a closetotheidentity affine transformation \lq\lq centered'' on $x_Q$. The averages $f_{Q^*}$ converge to a.e. $x$ as $\vert Q\vert\rightarrow0$ for $x\in Q\in{\cal D}$.
Elementary estimates with the HardyLittlewood maximal function show that, for all $s>2$, there are constants $c(d)>0$ and $C(d,s)$ so that if $\eta < c(d)$ then, for all $f\in L^2({\bf R}^d)$,
$$\left\Vert \sup_{x\in Q\in{\cal D}}\left\vert f_Qf_{Q^*}\right\vert\right\Vert_2\leq C(d,s)\eta^{1/s}\Vert f\Vert_2.$$
We improve this to get: {\sl There are constants $c(d)>0$ and $C(d)$ so that if $\eta<c(d)$ then, for all $f\in L^2({\bf R}^d)$,}
$$\left\Vert \left(\sum_{x\in Q\in{\cal D}}\left\vert f_Qf_{Q^*}\right\vert^2\right)^{1/2}\right\Vert_2\leq C(d)\eta^{1/2}\Vert f\Vert_2.$$
© Canadian Mathematical Society