No description available.

No description available.

Yes / A quantum system Σ(d) with variables in Z(d) and with Hilbert space H(d), is considered. It is shown that the additivity relation of Kolmogorov probabilities, is not valid in the Birkhoff-von Neumann orthocomplemented modular lattice of subspaces L(d). A second lattice Λ(d) which is distributive and contains the subsystems of Σ(d) is also considered. It is shown that in this case also, the additivity relation of Kolmogorov probabilities is not valid. This suggests that a more general (than Kolmogorov) probability theory is needed, and here we adopt the Dempster-Shafer probability theory. In both of these lattices, there are sublattices which are Boolean algebras, and within these 'islands' quantum probabilities are additive.

The solution u=u(t)=u(t,λ) of (E) u′(t)+λ∫₀^tu(t-τ)(d+a(τ))dτ=0, u(0)=1, t ≥ 0, λ ≥ 1 where d ≥ 0, a is nonnegative, nonincreasing, convex and ∞ ≥ a(0+) > a(∞) = 0 is studied. In particular the question asked is: When is (F) ∫₀^∞_{λ ≥ 1}^sup|u′′(t, λ)/λ|dt < ∞? We obtain two necessary conditions for (F). For (F) to hold, it is necessary that (-lnt)a(τ)∈L¹(0,1) and lim sup _τ→∞ (τθ(τ))²/φ(τ) <∞ where â(τ)=∫₀^∞e^-iτta(t)dt=φ(τ)-iτθ(τ) (φ,θ both real). We obtain sufficient conditions for (F) to hold which involve φ and θ (See Theorem 7). Then we look for direct conditions on a which imply (F). with the addition assumption -a′ is convex, we prove that (F) holds provided any one of the following hold: (i) a(0+)<∞, (ii) 0<lim inf _τ→∞ τ∫₀^1/τsa(s)ds / ∫₀^1/τ-sa′(s)ds ≤ lim sup _τ→∞ τ∫₀^1/τsa(s)ds / ∫₀^1/τ-sa′(s)ds < ∞, (iii) lim _τ→∞ τ∫₀^1/τsa(s)ds / ∫₀^1/τa(s)ds = 0, (iv) lim _τ→∞ ∫₀^1/τ-sa′(s)ds / ∫₀^1/τa(s)ds = 0, a²(t)/-a′(t) is increasing for small t and a²(t) / -ta′(t)∈L¹(0,∈) for some ∈>0, (v) lim _τ→∞ ∫₀^1/τ-sa′(s)ds / ∫₀^1/τa(s)ds = 0 and τ(∫₀^1/τ a(s)ds)³ / ∫₀^1/τ-sa′(s)ds ≤ M < ∞ for δ ≤ τ < ∞ (some δ > 0). Thus (F) holds for wide classes of examples. In particular, (F) holds when d+a(t) = t^-p, 0 < p < 1; a(t)+d = -lnt (small t); a(t)+d = t⁻¹(-lnt)^-q, q > 2 (small t). / Ph. D. / incomplete_metadata

This paper develops a numerical algorithm that produces finite element solutions for a broad class of partial differential equations. The method is based on steepest descent methods in the Sobolev space H¹(Ω). Although the method may be applied in more general settings, we consider only differential equations that may be written as a first order quasi-linear system. The method is developed in a Hilbert space setting where strong convergence is established for part of the iteration. We also prove convergence for an inner iteration in the finite element setting. The method is demonstrated on Burger's equation and the Navier-Stokes equations as applied to the square cavity flow problem. Numerical evidence suggests that the accuracy of the method is second order,. A documented listing of the FORTRAN code for the Navier-Stokes equations is included.

In this paper, there are three chapters. The first chapter discusses interpolation. Here a theorem about the uniqueness of the solution to the general interpolation problem is proven. Then the problem of how to represent this unique solution is discussed. Finally, the error involved in the interpolation and the convergence of the interpolation process is developed. In the second chapter a theorem about the uniform approximation to continuous functions is proven. Then the best approximation and the least squares approximation (a special case of best approximation) is discussed. In the third chapter orthogonal polynomials as discussed as well as bounded linear functionals in Hilbert spaces, interpolation and approximation and approximation in Hilbert space.

Um espaço de Hilbert de reprodução (EHR) é um espaço de Hilbert de funções construído de maneira específica e única a partir de um núcleo positivo definido. As funções do EHR tem a seguinte peculiaridade: seus valores podem ser reproduzidos através de uma operação elementar envolvendo a própria função, o núcleo gerador e o produto interno do espaço. Neste trabalho, consideramos EHR gerados por núcleos positivos definidos sobre a esfera unitária m-dimensional usual. Analisamos quais propriedades são herdadas pelos elementos do espaço, quando o núcleo gerador possui alguma hipótese de diferenciabilidade. A análise é elaborada em duas frentes: com a noção de diferenciabilidade usual sobre a esfera e com uma noção de diferenciabilidade definida por uma operação multiplicativa genérica. Esta última inclui como caso particular as derivadas fracionárias e a derivada forte de Laplace-Beltrami. Em cada um dos casos consideramos ainda propriedades específicas do mergulho do EHR em espaços de funções suaves definidos pela diferenciabilidade utilizada / A reproducing kernel Hilbert space (EHR) is a Hilbert space of functions constructed in a unique manner from a fixed positive definite generating kernel. The values of a function in a reproducing kernel Hilbert space can be reproduced through an elementary operation involving the function itself, the generating kernel and the inner product of the space. In this work, we consider reproducing kernel Hilbert spaces generated by a positive definite kernel on the usual m-dimensional sphere. The main goal is to analyze differentiability properties inherited by the functions in the space when the generating kernel carries a differentiability assumption. That is done in two different cases: using the usual notion of differentiability on the sphere and using another one defined through multiplicative operators. The second case includes the Laplace-Beltrami derivative and fractional derivatives as well. In both cases we consider specific properties of the embeddings of the reproducing kernel Hilbert space into spaces of smooth functions induced by notion of differentiability used

Um espaço de Hilbert de reprodução (EHR) é um espaço de Hilbert de funções construído de maneira específica e única a partir de um núcleo positivo definido. As funções do EHR tem a seguinte peculiaridade: seus valores podem ser reproduzidos através de uma operação elementar envolvendo a própria função, o núcleo gerador e o produto interno do espaço. Neste trabalho, consideramos EHR gerados por núcleos positivos definidos sobre a esfera unitária m-dimensional usual. Analisamos quais propriedades são herdadas pelos elementos do espaço, quando o núcleo gerador possui alguma hipótese de diferenciabilidade. A análise é elaborada em duas frentes: com a noção de diferenciabilidade usual sobre a esfera e com uma noção de diferenciabilidade definida por uma operação multiplicativa genérica. Esta última inclui como caso particular as derivadas fracionárias e a derivada forte de Laplace-Beltrami. Em cada um dos casos consideramos ainda propriedades específicas do mergulho do EHR em espaços de funções suaves definidos pela diferenciabilidade utilizada / A reproducing kernel Hilbert space (EHR) is a Hilbert space of functions constructed in a unique manner from a fixed positive definite generating kernel. The values of a function in a reproducing kernel Hilbert space can be reproduced through an elementary operation involving the function itself, the generating kernel and the inner product of the space. In this work, we consider reproducing kernel Hilbert spaces generated by a positive definite kernel on the usual m-dimensional sphere. The main goal is to analyze differentiability properties inherited by the functions in the space when the generating kernel carries a differentiability assumption. That is done in two different cases: using the usual notion of differentiability on the sphere and using another one defined through multiplicative operators. The second case includes the Laplace-Beltrami derivative and fractional derivatives as well. In both cases we consider specific properties of the embeddings of the reproducing kernel Hilbert space into spaces of smooth functions induced by notion of differentiability used

A frame is a possibly linearly dependent set of vectors in a Hilbert space that facilitates the decomposition and reconstruction of vectors. A Parseval frame is a frame that acts as its own dual frame. A Gabor frame comprises all translations and phase modulations of an appropriate window function. We show that the space of all frames on a Hilbert space indexed by a common measure space can be fibrated into orbits under the action of invertible linear deformations and that any maximal set of unitarily inequivalent Parseval frames is a complete set of representatives of the orbits. We show that all such frames are connected by transformations that are linear in the larger Hilbert space of square-integrable functions on the indexing space. We apply our results to frames on finite-dimensional Hilbert spaces and to the discretization of the Gabor frame with a band-limited window function.

This thesis compares and contrasts currents- and varifolds-based diffeomorphic image registration approaches for registering tree-like structures in the lung and surface of the lung. In these approaches, curve-like structures in the lung—for example, the skeletons of vessels and airways segmentation—and surface of the lung are represented by currents or varifolds in the dual space of a Reproducing Kernel Hilbert Space (RKHS). Currents and varifolds representations are discretized and are parameterized via of a collection of momenta. A momenta corresponds to a line segment via the coordinates of the center of the line segment and the tangent direction of the line segment at the center. A momentum corresponds to a mesh via the coordinates of the center of the mesh and the normal direction of the mesh at the center. The magnitude of the tangent vector for the line segment and the normal vector for the mesh are the length of the line segment and the area of the mesh respectively. A varifolds-based registration approach is similar to currents except that two varifolds representations are aligned independent of the tangent (normal) vector orientation. An advantage of varifolds over currents is that the orientation of the tangent vectors can be difficult to determine especially when the vessel and airway trees are not connected. In this thesis, we examine the image registration sensitivity and accuracy of currents- and varifolds-based registration as a function of the number and location of momenta used to represent tree like-structures in the lung and the surface of the lung. The registrations presented in this thesis were generated using the Deformetrica software package, which is publicly available at www.deformetrica.org.