2,930 research outputs found

    Pairs of orthogonal countable ordinals

    Full text link
    We characterize pairs of orthogonal countable ordinals. Two ordinals α\alpha and β\beta are orthogonal if there are two linear orders AA and BB on the same set VV with order types α\alpha and β\beta respectively such that the only maps preserving both orders are the constant maps and the identity map. We prove that if α\alpha and β\beta are two countable ordinals, with αβ\alpha \leq \beta, then α\alpha and β\beta are orthogonal if and only if either ω+1α\omega + 1\leq \alpha or α=ω\alpha =\omega and β<ωβ\beta < \omega \beta

    On non-coercive mixed problems for parameter-dependent elliptic operators

    Full text link
    We consider a (generally, non-coercive) mixed boundary value problem in a bounded domain DD of Rn{\mathbb R}^n for a second order parameter-dependent elliptic differential operator A(x,,λ)A (x,\partial, \lambda) with complex-valued essentially bounded measured coefficients and complex parameter λ\lambda. The differential operator is assumed to be of divergent form in DD, the boundary operator B(x,)B (x,\partial) is of Robin type with possible pseudo-differential components on D\partial D. The boundary of DD is assumed to be a Lipschitz surface. Under these assumptions the pair (A(x,,λ),B)(A (x,\partial, \lambda),B) induces a holomorphic family of Fredholm operators L(λ):H+(D)H(D)L(\lambda): H^+(D) \to H^- (D) in suitable Hilbert spaces H+(D)H^+(D) , H(D)H^- (D) of Sobolev type. If the argument of the complex-valued multiplier of the parame\-ter in A(x,,λ)A (x,\partial, \lambda) is continuous and the coefficients related to second order derivatives of the operator are smooth then we prove that the operators L(λ)L(\lambda) are conti\-nu\-ously invertible for all λ\lambda with sufficiently large modulus λ|\lambda| on each ray on the complex plane C\mathbb C where the differential operator A(x,,λ)A (x,\partial, \lambda) is parameter-dependent elliptic. We also describe reasonable conditions for the system of root functions related to the family L(λ)L (\lambda) to be (doubly) complete in the spaces H+(D)H^+(D), H(D)H^- (D) and the Lebesgue space L2(D)L^2 (D)
    corecore