arXiv ScienceSearch

arXiv subjects

Ross Pinsky

Publications and source records attributed to Ross Pinsky.

5 recordsLinked to original sources

Universal bound independent of geometry for solution to symmetric diffusion equation in exterior domain with boundary flux

Fix $R>0$ and let $B_R$ denote the ball of radius $R$ centered at the origin in $R^d$, $d\ge2$. Let $D\subset B_R$ be an open set with smooth boundary and such that $R^d-\bar D$ is connected, and let $$ L=\sum_{i,j=1}^da_{i,j}\frac{\partial^2}{\partial x_i\partial x_j}-\sum_{i=1}^db_i\frac{\partial}{\partial x_i} $$ be a second order elliptic operator. Consider the following linear heat equation in the exterior domain $R^d-\bar D$ with boundary flux: \begin{equation*} \begin{aligned} &L u=0 \ \text{in}\ R^d-\bar D;\\ &a\nabla u\cdot \bar n=-h\ \text{on}\ \partial D;\\ &u>0 \ \text{is minimal}, \end{aligned} \end{equation*} where $h\gneq0$ is continuous, and where $\bar n$ is the unit inward normal to the domain $R^d-\bar D$. The operator $L$ must possess a Green's function in order that a solution $u$ exist. An important feature of the equation is that there is no a priori bound on the supremum $\sup_{x\in R^d-\bar D}u(x)$ of the solution exclusively in terms of the boundary flux $h$, the hyper-surface measure of $\partial D$ and the coefficients of $L$; rather the geometry of $D\subset B_R$ plays an essential role. However, we prove that in the case that $L$ is a \it symmetric operator\rm\ with respect to some reference measure, then \it outside of\rm\ $\bar B_R$, the solution to \eqref{LHE} is uniformly bounded, independent of the particular choice of $D\subset B_R$. The proof uses a combination of analytic and probabilistic techniques.

math.AP

Transience/Recurrence and the speed of a one-dimensional random walk in a "have your cookie and eat it" environment

Consider a simple random walk on the integers with the following transition mechanism. At each site $x$, the probability of jumping to the right is $\omega(x)\in[\frac12,1)$, until the first time the process jumps to the left from site $x$, from which time onward the probability of jumping to the right is $\frac12$. We investigate the transience/recurrence properties of this process in both deterministic and stationary, ergodic environments $\{\omega(x)\}_{x\in Z}$. In deterministic environments, we also study the speed of the process.

math.PR

Spectral Analysis of a Family of Second-Order Elliptic Operators with Nonlocal Boundary Condition Indexed by a Probabilty Measure

Let $D\subset R^d$ be a bounded domain and let \[ L=\frac12\nabla\cdot a\nabla +b\cdot\nabla \] %\[ %L=\frac12\sum_{i,j=1}^da_{i,j}\frac{\partial^2}{\partial x_i\partial x_j}+\sum_{i=1}^db_i\frac{\partial}{\partial x_i}, %\] be a second order elliptic operator on $D$. Let $ν$ be a probability measure on $D$. Denote by ${\mathcal L}$ the differential operator whose domain is specified by the following non-local boundary condition: $$ {\mathcal D_{\mathcal L}}=\{f\in C^2(\ol{D}): \int_D f dν= f|_{\partial D}\}, $$ and which coincides with $L$ on its domain. It is known that $\mathcal L$ possesses an infinite sequence of eigenvalues, and that with the exception of the zero eigenvalue, all eigenvalues have negative real part. Define the spectral gap of $\mathcal {L}$, indexed by $ν$, by γ_1(ν)\equiv\sup\{\re λ:0\neq λis an eigenvalue for {\mathcal L}\}. In this paper we investigate the eigenvalues of $\mathcal L$ in general and the spectral gap $γ_1(ν)$ in particular. The operator $\mathcal L$ is the generator of a diffusion process with random jumps from the boundary, and $γ_1(ν)$ measures the exponential rate of convergence of this process to its invariant measure.

math.SP

Law of large numbers for increasing subsequences of random permutations and an approximation result for the uniform measure

Let the random variable $Z_{n,k}$ denote the number of increasing subsequences of length $k$ in a random permutation from $S_n$, the symmetric group of permutations of $\{1,...,n\}$. We show that $Var(Z_{n,k_n})=o((EZ_{n,k_n})^2)$ as $ n\to\infty$ if and only if $k_n=o(n^\frac25)$. In particular then, the weak law of large numbers holds for $Z_{n,k_n}$ if $k_n=o(n^\frac25)$. We also show the following approximation result for the uniform measure $U_n$ on $S_n$. Define the probability measure $μ_{n;k_n}$ on $S_n$ as follows: Consider $n$ cards, numbered from 1 to $n$, and laid out on a table from left to right in increasing order. Place a mark on $k_n$ of the cards, chosen at random. Then pick up all the unmarked cards and randomly insert them between the $k_n$ marked cards that remained on the table. Denote the resulting distribution on $S_n$ by $μ_{n;k_n}$. The weak law of large numbers holds for $Z_{n,k_n}$ if and only if the total variation distance between $μ_{n;k_n}$ and $U_n$ converges to 0 as $n\to\infty$. In order to evaluate the asymptotic behavior of the second moment, we need to analyze certain occupation times of certain conditioned two-dimensional random walks.

math.PR

Reaction diffusion equations with super-linear absorption: universal bounds, uniqueness for the Cauchy problem, boundedness of stationary solutions

Consider classical solutions to the parabolic reaction diffusion equation $$ &u_t =Lu+f(x,u), (x,t)\in R^n\times(0,\infty); &u(x,0) =g(x)\ge0, x\in R^n; &u\ge0, $$ where $$ L=\sum_{i,j=1}^na_{i,j}(x)\frac{\partial^2}{\partial x_i \partial x_j}+\sum_{i=1}^nb_i(x)\frac\partial{\partial x_i} $$ is a non-degenerate elliptic operator, $g\in C(R^n)$ and the reaction term $f$ converges to $-\infty$ at a super-linear rate as $u\to\infty$. We give a sharp minimal growth condition on $f$, independent of $L$, in order that there exist a universal, a priori upper bound for all solutions to the above Cauchy problem--that is, in order that there exist a finite function $M(x,t)$ on $R^n\times(0,\infty)$ such that $u(x,t)\le M(x,t)$, for all solutions to the Cauchy problem. Assuming now in addition that $f(x,0)=0$, so that $u\equiv0$ is a solution to the Cauchy problem, we show that under a similar growth condition, an intimate relationship exists between two seemingly disparate phenomena--namely, uniqueness for the Cauchy problem with initial data $g=0$ and the nonexistence of unbounded, stationary solutions to the corresponding elliptic problem. We also give a generic condition for nonexistence of nontrivial stationary solutions.

math.AP