Let L be an unbounded linear operator in a real Hilbert space H, a generator of a C0 semigroup, and let g : H → H be a C2 loc nonlinear map. The DSM (dynamical systems method) for solving equation F (v) := Lv+ g(v) = 0 consists of solving the Cauchy problem u̇ = Φ(t, u), u(0) = u0, where Φ is a suitable operator, and proving that i) ∃u(t) ∀t > 0, ii) ∃u(∞), and iii) F (u(∞)) = 0. Conditions on L...

– four new types: type variable X, universal type ∀X : K.τ , type operator abstraction λi :: S.τ and type operator application τ I. – A new kinding judgment Ψ; ∆ ` T :: K that assigns kinds to types – Typing judgment ∆; Φ; Γ ` e :κ τ changes to Ψ; ∆; Φ; Γ ` e :κ τ in which the context Ψ binds the type variables. – The subtyping judgment is changed as follows: Ψ; ∆; Φ |= τ1 v τ2 : K. – Semantics...

Let β = [formula: see text] be a sequence of positive numbers with β0 = 1, 0 < β(n)/β(n+1) ≤ 1 when n ≥ 0 and 0 < β(n)/β(n-1) ≤ 1 when n ≤ 0. A kth-order slant weighted Toeplitz operator on L(2)(β) is given by U(φ) = W(k)M(φ), where M(φ) is the multiplication on L(2)(β) and W(k) is an operator on L(2)(β) given by W(k)e(nk)(z) = (β(n)/β(nk))e(n)(z), [formula: see text] being the orthonormal basi...

In this paper we study the operator inequality φ(X) ≤ X and the operator equation φ(X) = X, where φ is a w∗-continuous positive (resp. completely positive) linear map on B(H). We show that their solutions are in one-to-one correspondence with a class of Poisson transforms on Cuntz-Toeplitz C∗-algebras, if φ is completely positive. Canonical decompositions, ergodic type theorems, and lifting the...

This paper concerned with the existence of solutions of anti-periodic boundary value problems for impulsive differential equations with φ-Laplacian operator. Firstly, the definition a pair of coupled lower and upper solutions of the problem is introduced. Then, under the approach of coupled upper and lower solutions together with Nagumo condition, we prove that there exists at least one solutio...

Belief Calculus, ABC, see Darwiche, Ginsberg (1992), and Stern (2003). 〈Φ,⊕, 〉 , Support Structure, Φ , Support Function, for statements on U. Null and full support values are 0 and 1. ⊕ , Support Summation operator, , Support Scaling or Conditionalization, 〈Φ,⊕〉 , Partial Support Structure. ⊕, gives the support value of the disjunction of any two logically disjoint statements from their indivi...

Let H be a complex Hilbert space. Denote by B(H)+ the set of all positive bounded linear operators on H. A bijective map φ : B(H)+ → B(H)+ is said to preserve Lebesgue decompositions in both directions if for any quadruple A,B,C,D of positive operators, B = C +D is an A-Lebesgue decomposition of B if and only if φ(B) = φ(C)+φ(D) is a φ(A)-Lebesgue decomposition of φ(B). It is proved that every ...

Let Φ : (M1, g1)→ (M2, g2) be a diffeomorphism between Riemannian manifolds and Φ# : D(M2)→ D(M1) the induced pull-back operator. The main theorem of this work is Theorem 4.1 which relates preservation of the p-Dirichlet energies φ 7→ ∫ Mi |dφ| dμi under Φ# to isometric or conformal properties of Φ. More precisely: In case p = n, Φ# preserves the p-Dirichlet energy if and only if Φ is conformal...

Denote by W (A) the numerical range of a bounded linear operator A, and [A, B] = AB −BA the Lie product of two operators A and B. Let H, K be complex Hilbert spaces of dimension ≥ 2 and Φ : B(H) → B(K) be a map whose range contains all operators of rank ≤ 1. It is shown that Φ satisfies that W ([Φ(A), Φ(B)]) = W ([A, B]) for any A, B ∈ B(H) if and only if dim H = dim K, there exist ε ∈ {1,−1}, ...

Let X and Y be two closed connected Riemannian manifolds of the same dimension and φ : S∗X 7→ S∗Y a contact diffeomorphism. We show that the index of an elliptic Fourier operator Φ associated with φ is given by ∫ B(X) e 0Â(T ∗X) −