arXiv subjects

T. Kuna

Publications and source records attributed to T. Kuna.

5 recordsLinked to original sources

arXiv2016

Free upper boundary value problems for the semi-geostrophic equations

The semi-geostrophic system is widely used in the modelling of large-scale atmospheric flows. In this paper, we prove existence of solutions of the incompressible semi-geostrophic equations in a fully three-dimensional domain with a free upper boundary condition. We show that, using methods similar to those introduced in the pioneering work of Benamou and Brenier, who analysed the same system but with a rigid boundary condition, we can prove the existence of solutions for the incompressible free boundary problem. The proof is based on optimal transport results as well as the analysis of Hamiltonian ODEs in spaces of probability measures given by Ambrosio and Gangbo. We also show how these techniques can be modified to yield the same result also for the compressible version of the system.

math.AP↗

arXiv2016

Translation invariant extensions of finite volume measures

We investigate the following questions: Given a measure $μ_Λ$ on configurations on a subset $Λ$ of a lattice $\mathbb{L}$, where a configuration is an element of $Ω^Λ$ for some fixed set $Ω$, does there exist a measure $μ$ on configurations on all of $\mathbb{L}$, invariant under some specified symmetry group of $\mathbb{L}$, such that $μ_Λ$ is its marginal on configurations on $Λ$? When the answer is yes, what are the properties, e.g., the entropies, of such measures? Our primary focus is the case in which $\mathbb{L}=\mathbb{Z}^d$ and the symmetries are the translations. For the case in which $Λ$ is an interval in $\mathbb{Z}$ we give a simple necessary and sufficient condition, local translation invariance (LTI), for extendibility. For LTI measures we construct extensions having maximal entropy, which we show are Gibbs measures; this construction extends to the case in which $\mathbb{L}$ is the Bethe lattice. On $\mathbb{Z}$ we also consider extensions supported on periodic configurations, which are analyzed using de~Bruijn graphs and which include the extensions with minimal entropy. When $Λ\subset\mathbb{Z}$ is not an interval, or when $Λ\subset\mathbb{Z}^d$ with $d>1$, the LTI condition is necessary but not sufficient for extendibility. For $\mathbb{Z}^d$ with $d>1$, extendibility is in some sense undecidable.

cond-mat.stat-mech↗

arXiv2015

The Truncated Moment Problem on $\mathbb{N}_0$

We find necessary and sufficient conditions for the existence of a probability measure on $\mathbb{N}_0$, the nonnegative integers, whose first $n$ moments are a given $n$-tuple of nonnegative real numbers. The results, based on finding an optimal polynomial of degree $n$ which is nonnegative on $\mathbb{N}_0$ (and which depends on the moments), and requiring that its expectation be nonnegative, generalize previous results known for $n=1$, $n=2$ (the Percus-Yamada condition), and partially for $n=3$. The conditions for realizability are given explicitly for $n\leq5$ and in a finitely computable form for $n\geq6$. We also find, for all $n$, explicit bounds, in terms of the moments, whose satisfaction is enough to guarantee realizability. Analogous results are given for the truncated moment problem on an infinite discrete semi-bounded subset of $\mathbb{R}$.

math.PR↗

arXiv2007

Realizability of point processes

There are various situations in which it is natural to ask whether a given collection of $k$ functions, $ρ_j(\r_1,...,\r_j)$, $j=1,...,k$, defined on a set $X$, are the first $k$ correlation functions of a point process on $X$. Here we describe some necessary and sufficient conditions on the $ρ_j$'s for this to be true. Our primary examples are $X=\mathbb{R}^d$, $X=\matbb{Z}^d$, and $X$ an arbitrary finite set. In particular, we extend a result by Ambartzumian and Sukiasian showing realizability at sufficiently small densities $ρ_1(\mathbf{r})$. Typically if any realizing process exists there will be many (even an uncountable number); in this case we prove, when $X$ is a finite set, the existence of a realizing Gibbs measure with $k$ body potentials which maximizes the entropy among all realizing measures. We also investigate in detail a simple example in which a uniform density $ρ$ and translation invariant $ρ_2$ are specified on $\mathbb{Z}$; there is a gap between our best upper bound on possible values of $ρ$ and the largest $ρ$ for which realizability can be established.

math-ph↗

arXiv2006

On a spectral representation for correlation measures in configuration space analysis

The paper is devoted to the study of configuration space analysis by using the projective spectral theorem. For a manifold $X$, let $Γ_X$, resp.\ $Γ_{X,0}$ denote the space of all, resp. finite configurations in $X$. The so-called $K$-transform, introduced by A. Lenard, maps functions on $Γ_{X,0}$ into functions on $Γ_{X}$ and its adjoint $K^*$ maps probability measures on $Γ_X$ into $σ$-finite measures on $Γ_{X,0}$. For a probability measure $μ$ on $Γ_X$, $ρ_μ:=K^*μ$ is called the correlation measure of $μ$. We consider the inverse problem of existence of a probability measure $μ$ whose correlation measure $ρ_μ$ is equal to a given measure $ρ$. We introduce an operation of $\star$-convolution of two functions on $Γ_{X,0}$ and suppose that the measure $ρ$ is $\star$-positive definite, which enables us to introduce the Hilbert space ${\cal H}_ρ$ of functions on $Γ_{X,0}$ with the scalar product $(G^{(1)},G^{(2)})_{{\cal H}_ρ}= \int_{Γ_{X,0}}(G^{(1)}\star\bar G{}^{(2)})(η) ρ(dη)$. Under a condition on the growth of the measure $ρ$ on the $n$-point configuration spaces, we construct the Fourier transform in generalized joint eigenvectors of some special family $A=(A_ϕ)_{ϕ\in\D}$, $\D:=C_0^\infty(X)$, of commuting selfadjoint operators in ${\cal H}_ρ$. We show that this Fourier transform is a unitary between ${\cal H}_ρ$ and the $L^2$-space $L^2(Γ_X,dμ)$, where $μ$ is the spectral measure of $A$. Moreover, this unitary coincides with the $K$-transform, while the measure $ρ$ is the correlation measure of $μ$.

math.PR↗