Representations of bipartite completed posets

Авторы выражают глубокую благодарность ПГавиелю, предложившему много существенных улучшений статьи, и Б.Келлеру за английский перевод и внимательное чтение русского варианта.     

On a Class of Quasilinear Parabolic Equations of Second Order with Double-degeneracy

In this paper we study the first boundary value problem for nonlinear diffusion equation \frac{∂u}{∂t} + \frac{∂}{∂x}f(u) = \frac{∂}{∂x}A(\frac{∂}{∂x}B(u)) whereA(s) = ∫¹_0a(σ)dσ, B(s) = ∫¹_0b(σ)dσ with a(s) ≥ 0, b(s) ≥ 0. We prove the existence of BV solutions under the much general structural conditions lim_{s → + ∞} A(s) = +∞, lim_{s → - ∞} A(s) = -∞ Moreover, we show the uniqueness without any structural conditions.     

Jump or compensate? Strategy flexibility in the number domain up to 100

This study investigates elementary school children’s flexible use of mental calculation strategies on additions and subtractions in the number domain 20–100. Sixty third-graders of three different mathematical achievement levels individually solved a series of 2-digit additions and subtractions in one choice and two no-choice conditions. In the choice condition, children could choose between the compensation (56 + 29 = ?; 56 + 30 = 86, 86 ? 1 = 85) and jump strategy (56 + 29 = ?; 56 + 20 = 76, 76 + 9 = 85) on each item. In the two no-choice conditions, children had to solve each item with either the compensation or the jump strategy. The results demonstrated that children of all achievement levels spontaneously applied both the compensation and the jump strategy to solve the items from the choice condition. Furthermore, they all executed the compensation strategy equally accurately, but faster than the jump strategy in the no-choice conditions. Finally, children neither took into account the expected task nor individual strategy efficiency characteristics during the strategy choice process. Results are discussed in terms of recent models of adaptive strategy choices and instructional practices in the number domain 20–100.     

Reflecting a triangle in the plane

We prove that if the three angles of a triangleT in the plane are different from (60°, 60°, 60°), (30°, 30°, 120°), (45°,45°,90°),(30°,60°,90°), then the set of vertices of those triangles which are obtained fromT by repeating ‘edge-reflection’ is everywhere dense in the plane.     

Nontrivial Solutions for Some Semilinear Elliptic Equations with Critical Sobolev Exponents

Let Ω be a bounded domain in R^4(n ≥ 4) with smooth boundary ∂Ω. We discuss the existence of nontrivial solutions of the Dirichlet problem {- Δu = a(x) |u|^{4/(a-2)}u + λu + g(x, u), \quad x ∈ Ω u = 0, \quad x ∈ ∂Ω where a(x) is a smooth function which is nonnegative on \overline{Ω} and positive somewhere, λ> 0 and λ ∉ σ(-Δ). We weaken the conditions on a(x) that are generally assumed in other papers dealing with this problem.     

On Composition series relative to a module

ABSTRACT

A commutative algebra with the identity (a * b) * (c * d) ? (a * d) * (c * b) = (a, b, c) * d ? (a, d, c) * b is called Novikov–Jordan. Example: K[x] under multiplication a * b = ?(ab) is Novikov–Jordan. A special identity for Novikov–Jordan algebras of degree 5 is constructed. Free Novikov–Jordan algebras with q generators are exceptional for any q ≥ 1.

     

The Obstacle Problems for Second Order Fully Nonlinear Elliptic Equations with Neumann Boundary Conditions

In this paper we prove the existence theorem of the strong solutions to the obstacle problems for second order fully nonlinear elliptic equations with the Neumann boundary conditions F(x, u, Du, D²u) ≥ 0, x ∈ Ω u ≤ g, x ∈ Ω (u - g)F(x, u, Du, D²u) = 0, x ∈ Ω D_vu = φ(x, u), x ∈ ∂Ω where F(x, z, p, r) satisfies the natural structure conditions and is concave with respect to r, p, and φ(x, z) is nondecreasing in z, and g(x) satisfies the consistency condition.     

On the Existence of Positive Solutions of Quasilinear Elliptic Equations with Mixed Boundary Conditions

In this paper, the existence of positive solutions for the mixed boundary problem of quasilinear elliptic equation {-div (|∇u|^{p-2}∇u) = |u|^{p^∗-2}u + f(x, u), \quad u > 0, \quad x ∈ Ω u|_Γ_0 = 0, \frac{∂u}{∂\overrightarrow{n}}|_Γ_1 = 0 is obtained, where Ω is a bounded smooth domain in R^N, ∂Ω = \overrightarrow{Γ}_0 ∪ \overrightarrow{Γ}_1, 2 ≤ p < N, p^∗ = \frac{Np}{N-p}, Γ_0 and Γ_1 are disjoint open subsets of ∂Ω.     

On Nonlinear Eigen-problems of Quasi-linear Elliptic Operators

In this paper, we study the following Eigen-problem {-\frac{∂}{∂x_i}(a_{ij}(x, u)\frac{∂u}{∂x_j}) + \frac{1}{2}a_{iju}(x,u)\frac{∂u}{∂x_i}\frac{∂u}{∂x_j} + h(x)u = μμ\frac{n+2}{n-2} \quad in Ω \qquad (0.1) u = 0 \quad on ∂Ω u > 0 \quad in Ω ⊂ R^n under some assumptions. First. we minimize I(u) = \frac{1}{2}∫_Ωa_{ij}(x, u)\frac{∂u}{∂x_i}\frac{∂u}{∂x_j} + h(x)u² over E_α = {u ∈ H¹_0(Ω); ∫_Ωu^α = 1} ( 2 < α < N = \frac{2n}{n-2}) to give a H¹_0-solution U_α of the perturbation problems of (0.1). Since I is not differentiable in H¹_0(Ω), the key point is the estimate of U_α. Then, we derive local uniform bounds of (U_α) and give a 'bad' solution of (0.1). Last, we remove the singular points of the 'bad' solution to obtain a solution of (0.1), our result is a extension of that of Brezis & Nirenberg.     

Constructing 2 × 2 Bricks from Unitary Numerical Semigroups

This paper investigates numerical semigroups that yield 2 × 2 bricks. We demonstrate the existence of an infinite family of 2 × 2 bricks that includes all of the perfect 2 × 2 bricks. We provide a formula for the Frobenius numbers of these semigroups as well as a necessary and sufficient condition for the semigroups to be symmetric.     

The Dirichlet Problems for a Class of Fully Nonlinear Elliptic Equations Relative to the Eigenvalues of the Hessian

ln this paper we discuss the Dirichlet problems for a class of fully nonliucar elliptic equations F(D² u) = ψ(x, u)(ψ(x, u, ∇u)) \quad in Q u = φ(x) \quad on ∂Ω where F is represented by a symmetric function f(λ_1, …, λ_n) of the eigenvalues (λ_1, …,λ_n) of the Hessian D²u. This result extends the works of Caffarelli L., Nirenberg L., Spruck L. [2] to more general cases.     

When is a 2 × 2 Matrix Ring Over a Commutative Local Ring Quasipolar?

A ring R is quasipolar if for any a ∈ R, there exists p ² = p ∈ R such that p ∈ comm²(a), p + a ∈ U(R) and ap ∈ R ^qnil . In this article, we determine when a 2 × 2 matrix over a commutative local ring is quasipolar. A criterion in terms of solvability of the characteristic equation is obtained for such a matrix to be quasipolar. Consequently, we obtain several equivalent conditions for the 2 × 2 matrix ring over a commutative local ring to be quasipolar. Furthermore, it is shown that the 2 × 2 matrix ring over the ring of p-adic integers is quasipolar.     

Some Results on p-Nilpotence and Supersolvability of Finite Groups

Let G be a finite group. A subgroup K of a group G is called an ?-subgroup of G if N _G (K) ∩ K ^x  ≦ K for all x ? G. The set of all ?-subgroups of G will be denoted by ?(G). Let P be a nontrivial p-group. A chain of subgroups 1 = P ₀ ? P ₁ ? ··· ? P _n  = P is called a maximal chain of P provided that |P _i : P _i?1| = p, i = 1, 2, ···, n. A nontrivial p-subgroup P of G is called weakly supersolvably embedded in G if P has a maximal chain 1 = P ₀ ? P ₁ ? ··· ? P _i  ? ··· ? P _n  = P such that P _i  ? ?(G) for i = 1, 2, ···, n. Using the concept of weakly supersolvably embedded, we obtain new characterizations of p-nilpotent and supersolvable finite groups.     

Zero-Divisors,Torsion Elements,and Unions of Annihilators

Let R be a commutative ring and M be a nonzero R-module. Now Z(M) = {r ∈ R | rm = 0 for some 0 ≠ m ∈ M} is a union of prime ideals of R and T(M) = {m ∈ M | rm = 0 for some 0 ≠ r ∈ R} is a union of prime submodules of M if M ≠ T(M). We investigate representations of Z(M) and T(M) as unions of primes each of which is a union of annihilators.     

Non-abelian Tensor Product of Leibniz Algebras and an Exact Sequence in Leibniz Homology

Abstract

Let 𝔪 and 𝔫 be two-sided ideals of a Leibniz algebra 𝔤 such that 𝔤 = 𝔪 + 𝔫. The goal of the paper is to achieve the exact sequence Ker(𝔪  𝔫 + 𝔫  𝔪 → 𝔤) → HL ₂(𝔤) → HL ₂(𝔤/𝔪) ⊕ HL ₂(𝔤/𝔫) → 𝔪 ∩ 𝔫/ [𝔪,𝔫] → HL ₁(𝔤) → HL ₁(𝔤/𝔪) ⊕ HL ₁(𝔤/𝔫) → 0, where HL denotes the Leibniz homology with trivial coefficients of a Leibniz algebra and denotes a non-abelian tensor product of Leibniz algebras.     

Quasilinear elliptic equations with Neumann boundary and singularity

Let Ω be a bounded domain with a smooth C2 boundary in RN（N ≥ 3）, 0 ∈Ω, and n denote the unit outward normal to ЭΩ.We are concerned with the Neumann boundary problems： -div（｜x｜α｜△u｜p-2△u）=｜x｜βup（α,β）-1-λ｜x｜γup-1,u（x）〉0,x∈Ω,Эu/Эn=0 on ЭΩ,where 1〈p〈N and α〈0,β〈0 such that p（α,β）△=p（N＋β）/N-p＋α〉p,y〉α-p.For various parameters α,βorγ,we establish certain existence results of the solutions in the case 0∈Ω or 0∈ЭΩ.     

Some new Triebel-Lizorkin spaces on spaces of homogeneous type and their frame characterizations

Let(X,p,μ)d,θ be a space of homogeneous type,(?) ∈(0,θ],|s|＜(?) andmax{d/(d＋(?)),d/(d＋s＋(?))}＜q≤∞.The author introduces the new Triebel-Lizorkin spaces (?)_∞q~s(X) and establishes the framecharacterizations of these spaces by first establishing a Plancherel-P(?)lya-type inequalityrelated to the norm of the spaces (?)_∞q~s(X).The frame characterizations of the Besovspace (?)_pq~s(X) with|s|＜(?),max{d/(d＋(?)),d/(d＋s＋(?))}＜p≤∞ and 0＜q≤∞and the Triebel-Lizorkin space (?)_pq~s(X)with|s|＜(?),max{d/(d＋(?)),d/(d＋s＋(?))}＜p＜∞ and max{d/(d＋(?)),d/(d＋s＋(?))}＜q≤∞ are also presented.Moreover,the au-thor introduces the new TriebeI-Lizorkin spaces b(?)_∞q~s(X) and H(?)_∞q~s(X) associated to agiven para-accretive function b.The relation between the space b(?)_∞q~s(X) and the spaceH(?)_∞q~s(X) is also presented.The author further proves that if s＝0 and q＝2,thenH(?)_∞q~s(X)＝(?)_∞q~s(X),which also gives a new characterization of the space BMO(X),since (?)_∞q~s(X)＝BMO(X).     

On the minimum length of ternary linear codes

From the geometrical point of view, we prove that [g ₃(6, d) + 1, 6, d]₃ codes exist for d = 118–123, 283–297 and that [g ₃(6, d), 6, d]₃ codes for d = 100, 341, 342 and [g ₃(6, d) + 1, 6, d]₃ codes for d = 130, 131, 132 do not exist, where ${g_3(k,\,d)=\sum_{i=0}^{k-1}\left\lceil d/3^i \right\rceil}$ . These determine the exact value of n ₃(6, d) for d = 100, 118–123, 130, 131, 132, 283–297, 341, 342, where n _q (k, d) is the minimum length n for which an [n, k, d] _q code exists.     

Algorithms for Finding the Roots of Some Quadratic Octonion Equations

In this paper, we give an algorithm to find the roots of the octonionic quadratic equation x ² + bx + c = 0, and develop a Matlab package to find solutions. We also discuss how to find the roots of some other octonion quadratic equations, such as an algorithm is given for finding the roots of the octonion quadratic equation xax + bx + c = 0.     

A Depth Formula for Generic Singularities and Their Weak Normality

Let X be a smooth projective variety of dimension r and π:X → ?^m a generic projection with r + 1 ≤ m ≤ 2r. It is shown that, at any point on X′ = π(X) of multiplicity μ, off a closed subset of the triple locus of codimension four, the depth of the local ring is equal to r ? (μ ? 1)(m ? r ? 1). This leads to some improvements on the affirmation of a conjecture of Andreotti–Bombieri–Holm on the weak normality of X′ and a conjecture of Piene on the weak normality of Sing(X′).