Boundary theory for one-dimensional diffusions is now well understood. Boundary theory for multi-dimensional diffusions is much richer and remains to be better understood. In this talk, we will be concerned with the construction and characterization of obliquely reflected Brownian motions in all bounded simply connected planar domains, including non-smooth domains,
with general reflection vector field on the boundary.
We show that the family of all obliquely reflected Brownian motions in a given domain can be characterized in two different ways, either by the field of angles of oblique reflection on the boundary or by the stationary distribution and the rate of rotation of the process about a reference point in the domain. We further show that Brownian motion with darning and excursion reflected Brownian motion can be obtained as a limit of obliquely reflected Brownian motions.
Based on joint work with K. Burdzy, D. Marshall and K. Ramanan.
We propose virtual element methods for solving one- or multi-domain elliptic interface problems using interface-fitted meshes. The main challenge is to design an efficient and robust mesh that can capture certain properties while preserving arbitrary complex geometries of the interface. Moreover, it is a tricky problem in classical finite element methods when the domain is decomposed into tetrahedra due to the existence of slivers in three dimensions. In our mesh generation, every element in three dimensions could be any polyhedron instead of tetrahedron. Then we apply virtual element methods for solving elliptic interface problems with solution and flux jump conditions. The purpose of using virtual element methods rather than classical finite element methods is that every element could be a different shape. We use multi-grid solvers to solve the discrete system. Lastly, numerical examples demonstrating the theoretical results for linear elements are shown.
Sums of two Cantor sets arise naturally in homoclinic bifurcations, Markov and Lagrange dynamical spectra, and the spectrum of the square Fibonacci Hamiltonian. In the 1970s Palis conjectured that for generic pairs of regular Cantor sets either the sum has zero Lebesgue measure or else it contains an interval. This problem is known to be extremely difficult, and is still open for affine Cantor sets. In this talk, we will discuss the history of sums of two Cantor sets, and also introduce my recent results about sums of two homogeneous Cantor sets.
Let K be a local field with residue field of characteristic p>0. Our goal is to understand the cyclic extensions of K of degree a power of p. If K has characteristic 0 and contains a p^m-th primitive root of unity, then one can use class field theory and Kummer theory to construct a symbol which helps us to understand the ramification of cyclic extensions of degree p^m. If K has characteristic p, then one can construct a symbol, using class field theory and Artin-Schreier-Witt theory, which helps us to understand the cyclic extensions of degree p^m for any m. We will discuss both symbols in more detail and discuss methods for computing these symbols.
In this talk, I will introduce a novel low dimensional manifold model for image processing problem.This model is based on the observation that for many natural images, the patch manifold usually has low dimension structure. Then, we use the dimension of the patch manifold as a regularization to recover the original image. Using some formula in differential geometry, this problem is reduced to solve Laplace-Beltrami equation on a manifold. The Laplace-Beltrami equation is solved by the point integral method. Numerical tests show that this method gives very good results in image inpainting, denoising and super-resolution problem. This is joint work with Stanley Osher and Wei Zhu.
The pursuit of better understanding the universe of set theory V motivated an extensive study of definable inner models M whose goal is to serve as good approximations to V. A common property of these inner models is that they are contained in HOD, the universe of hereditarily ordinal definable sets. Motivated by the question of how ``close" HOD is to V, we consider various related forcing methods and survey known and new results. This is a joint work with Spencer Unger.