Sulla unicità della soluzione di alcuni problemi di controllo ottimo in spazi di Orlicz

Let(E)z _xy+A(x, y)z_x+B(x, y)z_y+C(x, y)z=U(x, y) a.e. in Δ=]0,a[×]0,b[, be a distributed parameter control process. We study the uniqueness of some optimal control problems (minimum distance and minimum effort problems) relative to (E). We take the Orlicz spaceL ^M(Δ) as the «permanent control space, whereas both the «initial control» space and the «target» space are subspaces of the Orlicz-Sobolev spaceW ^1,M (]0,a[)×W ^1,M (]0,b[).     

Solvability of universal bol 2-loops

ABSTRACT

Let (A, ^?) be a structurable algebra. Then the opposite algebra (A ^op , ^?) is structurable, and we show that the triple system B ^op _A(x, y, z):=V^opx,y(z)=x(y¯z)+z(y¯x)?y(x¯z), x, y, z ∈ A, is a Kantor triple system (or generalized Jordan triple system of the second order) satisfying the condition (A). Furthermore, if A=𝔸₁?𝔸₂ denotes tensor products of composition algebras, (^?) is the standard conjugation, and (^∧) denotes a certain pseudoconjugation on A, we show that the triple systems B ^op _𝔸1?𝔸2 ( x , y¯^∧, z) are models of compact Kantor triple systems. Moreover these triple systems are simple if (dim𝔸₁, dim𝔸₂) ≠ (2, 2). In addition, we obtain an explicit formula for the canonical trace form for compact Kantor triple systems defined on tensor products of composition algebras.     

On generalized cocycle equations

Summary Motivated by results on the classical cocycle equation, we solved the more general equationF ₁ (x + y, z) + F ₂ (y + z, x) + F ₃ (z + x, y) + F ₄ (x, y) + F ₅ (y, z) + F ₆ (z, x) = 0 for six unknown functions mapping ordered pairs from an abelian group into a vector space over the rationals.Dedicated to the memory of Alexander M. Ostrowski on the occasion of the 100th anniversary of his birth.     

Weighted Inequalities for Certain Maximal Functions in Orlicz Spaces

Let M_g be the maximal operator defined by

On the boundedness and the stability properties of solutions of certain fourth order differential equations

Summary The paper investigates the equation(1.1) in the two cases:i) p≡0,ii) p(≠0) is either bounded or satisfies |(p(t,x,y,z,u)|⩽(A₀+|y|+|u|+|z| Ψ(t) where A₀ is a constant. For the casei) the asymptotic stability (in the large) of the trivial solution x=0 is investigated and for the caseii) a general estimate and two boundedness results are obtained for solutions of(1.1). The results extend those obtained by Harrow[1] for the same equation(1.1). Entrata in Redazione il 18 novembre 1971.     

Polar factorization of maps on Riemannian manifolds

Let (M,g) be a connected compact manifold, C³ smooth and without boundary, equipped with a Riemannian distance d(x,y). If s : M ? M s : M \to M is merely Borel and never maps positive volume into zero volume, we show s = t °u s = t \circ u factors uniquely a.e. into the composition of a map t(x) = exp_x[-?y(x)] t(x) = {\rm exp}_x[-\nabla\psi(x)] and a volume-preserving map u : M ? M u : M \to M , where y: M ? \bold R \psi : M \to {\bold R} satisfies the additional property that (y^c)^c = y (\psi^c)^c = \psi with y^c(y) :=inf{c(x,y) - y(x) | x ? M} \psi^c(y) :={\rm inf}\{c(x,y) - \psi(x)\,\vert\,x \in M\} and c(x,y) = d²(x,y)/2. Like the factorization it generalizes from Euclidean space, this non-linear decomposition can be linearized around the identity to yield the Hodge decomposition of vector fields.¶The results are obtained by solving a Riemannian version of the Monge--Kantorovich problem, which means minimizing the expected value of the cost c(x,y) for transporting one distribution f 3 0 f \ge 0 of mass in L¹(M) onto another. Parallel results for other strictly convex cost functions c(x,y) 3 0 c(x,y) \ge 0 of the Riemannian distance on non-compact manifolds are briefly discussed.     

Expansion of Analytic Functions in Series of Floquet Solutions of First Order Differential Systems

In this paper we study boundary eigenvalue problems for first order systems of ordinary differential equations of the form \[zy'\left( z \right) = \left( {\lambda A_1 \left( z \right) + A_0 \left( z \right)} \right)y\left( z \right),\,\,y\left( {ze^{2\pi i} } \right) = e^{2\pi iv} y\left( z \right)\] for z ? S^log, where S is a ring region around zero, S^log denotes the Riemann surface of the logarithm over S, the coefficient matrix functions A₁(z) and A₀(z) are holomorphic on S, and v is a complex number. The eigenfunctions of this eigenvalue problem are the Floquet solutions of the differential system with v as characteristic exponent. For an open subset S₀ of S, the notion of A₁-convexity of the pair (S₀, S) is introduced. For A₁-convex pairs (S₀, S) it is shown that the expansion into eigenfunctions and associated functions of holomorphic functions on S^log, satisfying the monodromy condition y(ze^2πi) = e^2πivy(z), converges regularly on S^log₀ and is unique. If S is a pointed neighbourhood of 0 and A₁(z) is holomorphic in SU{0}, it is shown that there is a pointed neighbourhood S₀ of 0 such that (S₀, S) is A₁-convex. It follows from the results of this paper that many expansions of analytic functions in terms of special functions can be considered as eigenfunction expansions of this kind.     

Transitivity and full transitivity for p-local modules

A p-local module M is called (fully) transitive if for all x,y ? Mx,y\in M with U_M(x) = U_M(y) ( U_M(x)\leqq U_M(y)U_M(x)\leqq U_M(y)) there exists an automorphism (endomorphism) of M which maps x onto y. In this paper we examine the relationship of these two notions in the case of p-local modules. We show that a module M is fully transitive if and only if M?MM\oplus M is transitive in the case where the divisible part of M/tMM/tM has rank at most one. Moreover, we show that for the same class of modules transitivity implies full transitivity if p > 2. This extends theorems of Files, Goldsmith and of Kaplansky for torsion p-local modules.     

Algebras almost commuting with Clifford algebras in a II∞ factor

We are concerned here with certain Banach algebras of operators contained within a fixed II factor N. These algebras may be thought of as noncommutative classifying spaces for the functor Ext _* ^N The basic objects of study are the algebras A _kN (for n=1, 2,...). Here, we are given an essentially unique representation of the complex Clifford algebra C _k N and the elements of A _k are those operators in N which exactly commute with the first k–1 generators of C _k and also commute with the kth generator modulo a symmetric ideal N. Up to isomorphism, these algebras are periodic with period 2.We determine completely the homotopy types of A ₁ ^–1 and A ₂ ^–1 Here, A ₁ ^–1 is homotopy equivalent to the space of (Breuer) Fredholm operators in N, while A ₂ ^–1 is homotopy equivalent to the group K _N ^–1 ={x N^–1¦ x=1+k, k K_N}. We use these results to compute the K-theory of A ₁ and A ₂.For a fixed C ^*-algebra A, we define abelian groups G _k,N(A) of equivalence classes of homomorphisms AA _k. Letting N = M (H) for a II₁ factor M we define similar abelian groups G _k(A, M) where we replace N by L(E) for countably generated right Hilbert M-modules E with (left) actions C _k L(E). Using ideas of Skandalis, we show that G _k,NG_k(A, M) so that the G _k,N are stable half-exact homotopy functors because the G _k(·, M) are such.In general, we show that G _k(A, M)KK ^k(A, M) and so our theory fits neatly into Kasparov KK-theory. We investigate many interesting examples from our point of view.     

A note on regularity for a class of quasilinear elliptic equations

The following regularity of weak solutions of a class of elliptic equations of the form are investigated.     

Visualizing the Relationship between Two Time Series by Hierarchical Smoothing Models

Abstract

Let x(t_i), y(t_i) be two time series such that y(t_i) = μ(t_i, x) + ε_i, where μ is a smooth function and ε_i is a zero mean stationary process. Which model may be assumed for μ depends on the subject specific context. This article was motivated by questions raised in the context of musical performance theory. The general problem is to understand the relationship between the symbolic structure of a music score and its performance. Musical structure typically consists of a hierarchy of global and local structures. This motivates the definition of hierarchical smoothing models (or HISMOOTH models) that are characterized by a hierarchy of bandwidths b ₁ > b ₂ > … > b_M and a vector of coefficients β ∈ R^M. The expected value μ(t_i x) = E[y(t_i)‖x] is equal to a weighted sum of smoothed versions of x. The “errors” ε_i are modeled by a Gaussian process that may exhibit long memory. More generally, we may observe a collection of time series y_r (r = 1, …, N) that are related to a common time series x by y_r(t_i) = μ _r(t_i, x) + ε_{r, i} where ε _r are independent error processes. For repeated time series, HISMOOTH models lead to a visual and formal classification into clusters that can be interpreted in terms of the relationship to x. An analysis of tempo curves from 28 performances of Schumann's “Träumerei” op. 15/7 illustrates the method. In particular, similarities and differences of “melodic styles” can be identified.     

The Whitehead Group of the Novikov Ring

The Bass–Heller–Swan–Farrell–Hsiang–Siebenmann decomposition of the Whitehead group K ₁(A[z,z^-1]) of a twisted Laurent polynomial extension A[z,z^-1] of a ring A is generalized to a decomposition of the Whitehead group K ₁(A((z))) of a twisted Novikov ring of power series A((z))=A[[z]][z^-1]. The decomposition involves a summand W₁(A, ) which is an Abelian quotient of the multiplicative group W(A,) of Witt vectors 1+a₁z+a₂z²+ ··· A[[z]]. An example is constructed to show that in general the natural surjection W(A, )^ab W₁(A, ) is not an isomorphism.     

Smooth solutions of quasianalytic or ultraholomorphic equations

In the first part of this work, we consider a polynomial j(x,y)=y^d+a₁(x)y^d-1+?+a_d(x){\varphi(x,y)=y^d+a_1(x)y^{d-1}+\cdots+a_d(x) } whose coefficients a _j belong to a Denjoy-Carleman quasianalytic local ring E₁(M){\mathcal{E}_1(M) }. Assuming that E₁(M){\mathcal{E}_1(M) } is stable under derivation, we show that if h is a germ of C ^∞ function such that j(x,h(x))=0{ \varphi(x,h(x))=0 }, then h belongs to E₁(M){\mathcal{E}_1(M) }. This extends a well-known fact about real-analytic functions. We also show that the result fails in general for non-quasianalytic ultradifferentiable local rings. In the second part of the paper, we study a similar problem in the framework of ultraholomorphic functions on sectors of the Riemann surface of the logarithm. We obtain a result that includes suitable non-quasianalytic situations.     

The finite simple groups with at most two fusion classes of every order

Elements a,b of a group G are said to be fused if a = b^σ and to be inverse-fused if a =(b^-1)^σ for some σ ? Aut(G). The fusion class of a ? G is the set {a^σ | σ ? Aut(G)}, and it is called a fusion class of order i if a has order iThis paper gives a complete classification of the finite nonabelian simple groups G for which either (i) or (ii) holds, where:

(i) G has at most two fusion classes of order i for every i (23 examples); and

(ii) any two elements of G of the same order are fused or inversenfused.

The examples in case (ii) are: A₅, A₆,L₂(7),L₂(8), L₃(4), Sz(8), M₁₁ and M₂₃An application is given concerning isomorphisms of Cay ley graphs.     

Partially integral operators with bounded kernels

Let Ω = [a, b] ^ν and let T be a partially integral operator defined in L ₂(Ω²) as follows:

A two-parameter boundary problem for second order differential system

Summary This paper is concerned with second order differential systems involving two parameters with boundary conditions specified at three points. In particular, we consider the system y' = k(x, λ, μ)z, z' = -g(x, λ, μ)y, where k and g are real-valued junctions defined on X: a ≤ x ≤ c, L: L₁ < λ < L₂, and M: M₁ < μ < M₂. This system is studied together with the boundary conditions α(λ, μ)y(a) - β(λ, μ)z(a)=0, γ(λ, μ)y(b) - δ(λ, μ)z(b)=0, ε₁(μ)y(b) - φ₁(μ)z(b)=ε₂(μ)y(c) - φ₂(μ)z(c), where α, β, δ, γ, ε_i, φ_i, i=1, 2, are continuous functions of the parameters. This work establishes the existence of eigenvalue pairs for the boundary problem and the oscillatory behavior of the associated solutions. These results complement those previously obtained by the authors and B. D. Sleeman, where boundary conditions of the ? Sturm-Liouville ? type were studied. Entrata in Redazione il 5 dicembre 1977. The research for this paper was supported by a University College Reasearch Grant, University of Alabama in Birmingham.     

Zero-Eigenvalue Eigenfunctions for Differences of Elliptic Relativistic Calogero-Moser Hamiltonians

Letting A_l(x) denote the commuting analytic difference operators of elliptic relativistic Calogero-Moser type, we present and study zero-eigenvalue eigenfunctions for the operators A_l(x) − A_l(−y) (with l = 1, 2,..., N and x, y ∈ ℂ ^N). The eigenfunctions are products of elliptic gamma functions. They are invariant under permutations of x₁,..., x_N and y₁,..., y_N and under interchange of the step-size parameters. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 146, No. 1, pp. 31–41, January, 2006.     

Structural formulas and value regions of functionals in certain classes of regular functions

We study the structural properties of the class M_k,λ,b(k≥2, 0≤λ≤1, b∈ℂ\{0}) of functions f(z)=z+ ... which are regular in |z|<1 and satisfy the conditions f(z)f′(z)z⁻¹≠0 and , where J(z)=λ(1+b⁻¹zf″(z)/f′(z)+(1−λ)(b⁻¹zf′(z)/f(z)+1−b⁻¹). The value regions of some functionals on this class are found. The case λ=1 was considered in our previous paper. Bibliography: 4 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 204, 1993, pp. 55–60. Translated by O. A. Ivanov.     

Additively spectral-radius preserving surjections between unital semisimple commutative Banach algebras

Let A and B be unital, semisimple commutative Banach algebras with the maximal ideal spaces M _A and M _B , respectively, and let r(a) be the spectral radius of a. We show that if T: A → B is a surjective mapping, not assumed to be linear, satisfying r(T(a) + T(b)) = r(a + b) for all a; b ∈ A, then there exist a homeomorphism φ: M _B → M _A and a closed and open subset K of M _B such that