Completion of L-fuzzy relations

It is shown that the category $\text{L}\text{?}$ of complete L-similarities on L-sets is a full reflective subcategory of $\text{R}$(L) (L-fuzzy graphs); $\text{L}\text{?}$ is equivalent to $\text{Lh}$ (L)(sheaves on L). Connections with other known “fuzzy” categories are also studied.     

Broken solutions of homogeneous variational problems

A real-valued function L on the tangent bundle of $\text{R}$ⁿ gives rise to variational problems as follows: for two points x₀, x₁ in $\text{R}$ⁿ and a time interval [0, T] to determine a curve γ: [O,T] → $\text{R}$ⁿ, connecting x₀ with x₁ which minimizes ∫₀^TL(γ(t), gg(t)) dt. We consider the associated Hamiltonian vectorfield on the cotangent bundle. If L is not convex on each fibre then the corresponding Hamiltonian vectorfield is not continuous. For homogeneous L and n = 2 restriction to an energy level gives an essentially three-dimensional vectorfield. In this case we list the possible discontinuities for generic L. Then we observe that there exits an open class of such variational problems, which admit no minimizing solution.     

Fuzzy propositional logics

Fuzzy logic $\text{L}$_∞9 considered in connection with fuzzy sets theory, is a special theory, is a special many valued logic with truth-value sets [0, 1], which has been studied already by Lukasiewicz. We consider also his versions $\text{L}$_m for m ? 2 with finite truth-value sets. In all cases we add two further propositional connectives, one conjunction and one disjunction. For these logics we give a list of tautologies, consider relations between their sets of tautologies, prove their compactness, and mention some further results.     

Spectral measures and the Bade reflexivity theorem

Let $\text{B}$ be a strongly equicontinuous Boolean algebra of projections on the quasi-complete locally convex space X and assume that the space L(X) of continuous linear operators on X is sequentially complete for the strong operator topology. Methods of integration with respect to spectral measures are used to show that the closed algebra generated by $\text{B}$ in L(X) consists precisely of those continuous linear operators on X which leave invariant each closed $\text{B}$-invariant subspace of X.     

Algebras of subnormal operators

The paper deals with the following: (I) If S is a subnormal operator on $\text{H}$, then $\text{Ol}$(S) = $\text{W}$(S) = Alg Lat S. (II) If L ∈ ($\text{Ol}$(S), σ-wot)¹, then there exist vectors a and b in $\text{H}$ such that L(T) = 〈Ta, b〉 for every T in $\text{Ol}$. (III) In addition to I the map i(T) = T is a homeomorphism from ($\text{Ol}$, σ-wot) onto ($\text{W}$(S), wot). (IV) If S is not a reductive normal operator, then there exists a cyclic invariant subspace for S that has an open set of bounded point evaluations. (This open set can be constructed to be as large as possible.)     

Symplectic groups and the Klein-Gordon field

In this paper a Cohen factorization theorem x = a^t · x_t (t > 0) is proved for a Banach algebra A with a bounded approximate identity, where t ? a^t is a continuous one-parameter semigroup in A. This theorem is used to show that a separable Banach algebra B has a bounded approximate identity bounded by 1 if and only if there is a homomorphism θ from L¹($\text{R}$⁺) into B such that ∥ θ ∥ = 1 and θ(L¹($\text{R}$⁺)). B = B = B · θ(L¹($\text{R}$⁺)). Another corollary is that a separable Banach algebra with bounded approximate identity has a commutative bounded approximate identity, which is bounded by 1 in an equivalent algebra norm.     

Spectral theory of finite volume domains in Rn

Let Ω be an arbitrary open subset of $\text{R}$ⁿ of finite positive measure, and assume the existence of a subset Λ ? $\text{R}$ⁿ such that the exponential functions e_λ = exp i(λ₁x₁ + … + λ_nx_n), λ = (λ₁,…, λ_n) ∈ Λ, form an orthonormal basis for $\text{L}{}_2\text{(Ω)}$ with normalized measure. Assume 0 ∈ Λ and define subgroups K and A of ($\text{R}$ⁿ, +) by K = Λ⁰ = {γ ∈ $\text{R}$ⁿ:γ·λ ∈ 2π$\text{Z}$}, A = {a ∈ $\text{R}$ⁿ:U_a$\text{m}$ U1_a = $\text{m}$}, where U_t is the unitary representation of $\text{R}$ⁿ on $\text{L}{}_2\text{(Ω)}$ given by U_te = e^itλe_λ, t ∈ $\text{R}$ⁿ, λ ∈ Λ, and where $\text{m}$ is the multiplication algebra of $\text{L}{}_{\mathrm{\infty }}\text{(Ω)}$ on L₂. Assume that A is discrete. Then there is a discrete subgroup D ? A of dimension n, a fundamental domain $\text{D}$ for D, and finite sets of representers R_Λ, R_Γ, $\text{R}{}_{\mathrm{\Omega }}$, each containing 0, R_Λ for $\text{A}\text{K}$ in K⁰, and $\text{R}{}_{\mathrm{\Omega }}$ for $\text{A}\text{K}$ in A such that Ω is disjoint union of translates of $\text{D}$: Ω = ∪_a∈RΩ (a + $\text{D}$), neglecting null sets, and Λ = R_Λ ⊕ D⁰. If R_Γ is a set of representers for $\text{D}\text{A}$ in D, then Γ = R_Γ ⊕ K is a translation set for Ω, i.e., Ω ⊕ Γ = $\text{R}$ⁿ, direct sum, (neglecting null sets). The case A = $\text{R}$ⁿ corresponds to Ω = $\text{D}$, Λ = D⁰ and Γ = K. This last case corresponds in turn to a function theoretic assumption of Forelli.     

A duality principle for lattices and categories of modules

Let R be a ring with 1, R^op the opposite ring, and R-Mod the category of left unitary R-modules and R-linear maps. A characterization of well-powered abelian categories $\text{A}$ such that there exists an exact embedding functor $\text{A}$→R-Mod is given. Using this characterization and abelian category duality, the following duality principles can be established.Theorem. There exists an exact embedding functor $\text{A}$→R-Mod if and only if there exists an exact embedding functor $\text{A}$^op→R^op-Mod.Corollary. If R-Mod has a specified diagram-chasing property, then R^op-Mod has the dual property.A lattice L is representable by R-modules if it is embeddable in the lattice of submodules of some unitary left R-module; $\text{L}$(R) denotes the quasivariety of all lattices representable by R-modules.Theorem. A lattice L is representable by R-modules if and only if its order dual L¹ is representable by R^op-modules. That is, $\text{L}\text{(}\text{R}{}^{\mathrm{op}}\text{)={L}{}^1\text{:L?}\text{L}\text{(}\text{R}\text{)}}$.If $\text{R}$ is a commutative ring with 1 and a specified diagram-chasing result is satisfied in R-Mod, then the dual result is also satisfied in R-Mod. Furthermore, $\text{L}\text{(}\text{R}\text{)}$ is self-dual: $\text{L}\text{(}\text{R}\text{)= {L}{}^1\text{:L?}\text{L}\text{(}\text{R}\text{)}.}$     

Periodic forcing of solutions of a boundary value problem for a second-order differential equation in Hilbert space

We show that if u is a bounded solution on $\text{R}$⁺ of u″(t) ?Au(t) + f(t), where A is a maximal monotone operator on a real Hilbert space H and f∈L_loc²($\text{R}$⁺;H) is periodic, then there exists a periodic solution ω of the differential equation such that u(t) ? ω(t)   0 and u′(t) ? ω′(t) → 0 as t → ∞. We also show that the two-point boundary value problem for this equation has a unique solution for boundary values in $\text{D(A)}$ and that a smoothing effect takes place.     

Harmonic analysis on hyperboloids

The regular representation of O(n, N) acting on $\text{L}{}^2\text{(}\text{O(n, N)}\text{O(n, N ? 1)}\text{)}$ is decomposed into a direct integral of irreducible representations. The homogeneous space $\text{O(n, N)}\text{O(n, N ? 1)}$ is realized as the Hyperboloid $\text{H = {(x, t) ? R}{}^{\mathrm{n\; +\; N}}\text{: ¦ t ¦}{}^2\text{? ¦ x ¦}{}^2\text{= 1}}$. The problem is essentially equivalent to finding the spectral resolution of a certain self-adjoint invariant differential operator □_h on H, which is the tangential part of the operator □ = Δ_x ? Δ_t on R^{n + N}. The spectrum of □_h contains a discrete part (except when N = 1) with eigenfunctions generated by restricting to H solutions of □u = 0 which vanish in the region $\text{¦ t ¦ < ¦ x ¦}$, and a continuous part $\text{H}$_?. As a representation of O(n, N), $\text{H}$_? ⊕ $\text{H}$_? is unitarily equivalent to the regular representation on L² of the cone $\text{{(x, t) : ¦ x ¦}{}^2\text{= ¦ t ¦}{}^2\text{}}$, and the intertwining operator is obtained by solving the equation □u = 0 with given boundary values on the cone. Explicit formulas are given for the spectral decomposition. The special case n = N = 2 gives the Plancherel formula for SL(2, R).     

Compact Sobolev imbeddings on finite measure spaces

We provide conditions on a finite measure μ on $\text{R}$ⁿ which insure that the imbeddings W^{k, p}($\text{R}$ⁿdμ)?L^p($\text{R}$ⁿdμ) are compact, where 1 ? p < ∞ and k is a positive integer. The conditions involve uniform decay of the measure μ for large ¦x¦ and are satisfied, for example, by $\text{dμ = e}{}^{\mathrm{?¦x¦\alpha }}\text{dx,}\text{where}\text{α > 1}$.     

Subnormal weighted translation semigroups

A weighted translation semigroup {S_t} on L²($\text{R}$₊) is defined by $\text{(S}{}_{\mathrm{t}}\text{f)(x) =}\text{(φ(x)}\text{φ(x ? t)}\text{)f(x ? t)}$ for x ? t and 0 otherwise, where φ is a continuous nonzero scalar-valued function on $\text{R}$₊. It is shown that {S_t} is subnormal if and only if φ² is the product of an exponential function and the Laplace-Stieltjes transform of an increasing function of total variation one. A necessary and sufficient condition for similarity of weighted translation semigroups is developed.     

Existence and bifurcation theorems for nonlinear elliptic eigenvalue problems on unbounded domains

We consider nonlinear elliptic eigenvalue problems on unbounded domains G?$\text{R}$ⁿ. Using an extended Ljusternik-Schnirelman theory we prove the existence of infinitely many eigenfunctions on every sphere in L²(G). Moreover, we establish that the infimum λ1 of the spectrum of the linearized problem L is always a bifurcation point. In addition, there is an infinity of branches emanating at λ1 from the trivial line of solutions if λ1 belongs to the essential spectrum of L.     

A constructive approach to the solution of a class of boundary value problems of mixed type

In this article we discuss the solution of boundary value problems which are described by the linear integrodifferential equation $\text{?xu}\text{?t}\text{(t, x) + u(t, x) ?}\text{1}\text{π}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{∝}{}_{\mathrm{?\infty }}{}^{\mathrm{\infty }}\text{exp}\text{(?y}{}^2\text{) u(t, y) dy = 0}$, where t∈J?$\text{R}$, x∈$\text{R}$. We interpret the equation in functional form as an ordinary differential equation for the mapping u:J→L₂(R,μ), where L₂(R,μ) is a weighted L₂-space. Emphasis is on the constructive aspects of the solution and on finding representations of the relevant isomorphisms.     

Resolvent estimates for a certain class of Schrödinger operators with exploding potentials

Let $\text{H = ?Δ + V}{}_{\mathrm{<mtext>E</mtext>}}\text{(¦x¦)+ V(x)}$ be a Schrödinger operator in Rⁿ. Here $\text{V}{}_{\mathrm{<mtext>E</mtext>}}\text{(¦x¦)}$ is an “exploding” radially symmetric potential which is at least C² monotone nonincreasing and O(r²) as r → ∞. V is a general potential which is short range with respect to V_E. In particular, V_E  0 leads to the “classical” short-range case (V being an Agmon potential). Let Λ = lim_{r → ∞}V_E(r) and R(z) = (H ? z)^?1, 0 < Im z, Λ < Re z < ∞. It is shown that R(z) can be extended continuously to Im z = 0, except possibly for a discrete subset $\text{N}$?(Λ, ∞), in a suitable operator topology $\text{B(L, L}{}^1\text{)}$. And L ? L²(Rⁿ) is a weighted L²-space; H is then absolutely continuous over (Λ, ∞), except possibly for a discrete set of eigenvalues. The corresponding eigenfunctions are shown to be rapidly decreasing.     

A characterization of first order nonlinear partial differential operators on Sobolev spaces

Nonlinear partial differential operators $\text{G: W}{}^{\mathrm{1,p}}\text{(Ω) → L}{}^{\mathrm{q}}\text{(Ω) (1 ? p, q ∞)}$ having the form G(u) = g(u, D₁u,…, D_Nu), with g?C(R × R_N), are here shown to be precisely those operators which are local, (locally) uniformly continuous on, $\text{W}{}^{\mathrm{1,\infty }}\text{(Ω)}$, and (roughly speaking) translation invariant. It is also shown that all such partial differential operators are necessarily bounded and continuous with respect to the norm topologies of $\text{W}{}^{\mathrm{1,p}}\text{(Ω)}\text{and}\text{L}{}^{\mathrm{q}}\text{(Ω)}$.     

Coherence of some rings of functions

To say that a commutative ring $\text{R}$ with unit is coherent amounts to saying, in case $\text{R}$ has no divisors of zero, that the intersection of two finitely generated ideals in $\text{R}$ is finitely generated. We prove that the ring H^∞ of bounded analytic functions in the unit disc is coherent, while the disc algebra A is not coherent. For any positive measure μ, L^∞(μ) is coherent.     

Commuting self-adjoint partial differential operators and a group theoretic problem

In Rⁿ let Ω denote a Nikodym region (= a connected open set on which every distribution of finite Dirichlet integral is itself in $\text{L}{}^2\text{(Ω))}$. The existence of n commuting self-adjoint operators $\text{H}{}_1\text{,…, H}{}_{\mathrm{n}}\text{in}\text{L}{}^2\text{(Ω)}$ such that each H_j is a restriction of $\text{?i β}\text{βx}{}_{\mathrm{j}}$ (acting in the distribution sense) is shown to be equivalent to the existence of a set Λ ?Rⁿ such that the restrictions to Ω of the functions exp i ∑ λ_jx_j form a total orthogonal family in $\text{L}{}^2\text{(Ω)}$. If it is required, in addition, that the unitary groups generated by H₁,…, H_n act multiplicatively on $\text{L}{}^2\text{(Ω)}$, then this is shown to correspond to the requirement that Λ can be chosen as a subgroup of the additive group Rⁿ. The measurable sets Ω ?Rⁿ (of finite Lebesgue measure) for which there exists a subgroup Λ ?Rⁿ as stated are precisely those measurable sets which (after a correction by a null set) form a system of representatives for the quotient of Rⁿ by some subgroup Γ (essentially the dual of Λ).     

The Euclidean distance construction of order homomorphisms

The Euclidean distance technique of Arrow and Hahn is used to construct an upper semicontinuous order homomorphism (partial utility function) from (X, ≻) to ($\text{R}$, >), where X is a closed, convex subset of $\text{R}$^N and ≻ is a continuous strict partial order on X. It is also shown that the order homomorphism is upper semicontinuous as a function on $\text{X×}\text{P}\text{(X)}$, where$\text{P}\text{(X)}$ is the set of continuous strict partial orders on X, taken with the topology of closed convergence.