Boundary value problems for two types of degenerate elliptic systems in <Emphasis Type="Italic">R</Emphasis><Superscript>4</Superscript>

Firstly, the Riemann boundary value problem for a kind of degenerate elliptic system of the first order equations in R ⁴ is proposed. Then, with the help of the one-to-one correspondence between the theory of Clifford valued generalized regular functions and that of the degenerate elliptic system’s solution, the boundary value problem as stated above is transformed into a boundary value problem related to the generalized regular functions in Clifford analysis. Moreover, the solution of the Riemann boundary value problem for the degenerate elliptic system is explicitly described by using a kind of singular integral operator. Finally, the conditions for the existence of solutions of the oblique derivative problem for another kind of degenerate elliptic system of the first order equations in R ⁴ are derived.     

Constraint qualifications for constrained Lipschitz optimization problems and applications to a MPCC

Three constraint qualifications (the weak generalized Robinson constraint qualification, the bounded constraint qualification, and the generalized Abadie constraint qualification), which are weaker than the generalized Robinson constraint qualification (GRCQ) given by Yen (1997) [1], are introduced for constrained Lipschitz optimization problems. Relationships between those constraint qualifications and the calmness of the solution mapping are investigated. It is demonstrated that the weak generalized Robinson constraint qualification and the bounded constraint qualification are easily verifiable sufficient conditions for the calmness of the solution mapping, whereas the proposed generalized Abadie constraint qualification, described in terms of graphical derivatives in variational analysis, is weaker than the calmness of the solution mapping. Finally, those constraint qualifications are written for a mathematical program with complementarity constraints (MPCC), and new constraint qualifications ensuring the C-stationary point condition of a MPCC are obtained.     

Lower Semicontinuity of the Solution Map to a Parametric Generalized Variational Inequality in Reflexive Banach Spaces

This paper is concerned with the study of solution stability of a parametric generalized variational inequality in reflexive Banach spaces. Under the requirements that the operator of a unperturbed problem is of class (S)_?+? and operators under consideration are pseudo-monotone and demicontinuous, we show that the solution map of a parametric generalized variational inequality is lower semicontinuous. The obtained results are proved without conditions related to the degree theory and the metric projection.     

On relaxing the Mangasarian–Fromovitz constraint qualification

For the classical nonlinear program, two new relaxations of the Mangasarian–Fromovitz constraint qualification are discussed and their relationship with some standard constraint qualifications is examined. In particular, we establish the equivalence of one of these constraint qualifications with the recently suggested by Andreani et al. Constant rank of the subspace component constraint qualification. As an application, we make use of this new constraint qualification in the local analysis of the solution map to a parameterized equilibrium problem, modeled by a generalized equation.     

Variational Analysis on Local Sharp Minima via Exact Penalization

In this paper we study local sharp minima of the nonlinear programming problem via exact penalization. Utilizing generalized differentiation tools in variational analysis such as subderivatives and regular subdifferentials, we obtain some primal and dual characterizations for a penalty function associated with the nonlinear programming problem to have a local sharp minimum. These general results are then applied to the ? _p penalty function with 0 ≤ p ≤ 1. In particular, we present primal and dual equivalent conditions in terms of the original data of the nonlinear programming problem, which guarantee that the ? _p penalty function has a local sharp minimum with a finite penalty parameter in the case of \(p\in (\frac {1}{2}, 1]\) and \(p=\frac {1}{2}\) respectively. By assuming the Guignard constraint qualification (resp. the generalized Guignard constraint qualification), we also show that a local sharp minimum of the nonlinear programming problem can be an exact local sharp minimum of the ? _p penalty function with p ∈ [0, 1] (resp. \(p\in [0, \frac {1}{2}]\)). Finally, we give some formulas for calculating the smallest penalty parameter for a penalty function to have a local sharp minimum.     

Second-order conditions in c1, 1 optimization with applications

Second-order necessary conditions for inequality and equality constrained C^{1, 1} optimization problems are derived. A constraint qualification condition which uses the recent generalized second-order directional derivative is employed to obtain these conditions. Various second-order sufficient conditions are given under appropriate conditions on the generalized second-order directional derivative in a neighborhood of a given point. An application of the secondorder conditions to a new class of nonsmooth C^{1, 1} optimization problems with infinitely many constraints is presented.     

The classification of finite groups by using iteration digraphs

A digraph is associated with a finite group by utilizing the power map f: G → G defined by f(x) = x^kfor all x ∈ G, where k is a fixed natural number. It is denoted by γG(n, k). In this paper, the generalized quaternion and 2-groups are stud- ied. The height structure is discussed for the generalized quaternion. The necessary and sufficient conditions on a power digraph of a 2-group are determined for a 2-group to be a generalized quaternion group. Further, the classification of two generated 2-groups as abelian or non-abelian in terms of semi-regularity of the power digraphs is completed.     

Necessary and sufficient conditions for a generalized solution to the initial-boundary value problem for the wave equation to belong to W p 1 with p ≥ 1

We establish necessary and sufficient conditions on the boundary function under which a generalized solution to the initial-boundary value problem for the wave equation with boundary conditions of the first kind belongs to W _p ¹ .     

The girth of a thin distance-regular graph

Let Γ be a distance-regular graph of diameterd≥3. For each vertexx of Γ, letT(x) denote the Terwilliger algebra for Γ with respect tox. An irreducibleT(x)-moduleW is said to bethin if dimE _i ^* (x)W≤1 for 0≤i≤d, whereE _i ^* (x) is theith dual idempotent for Γ with respect tox. The graph Γ isthin if for each vertexx of Γ, every irreducibleT(x)-module is thin. Aregular generalized quadrangle is a bipartite distance-regular graph with girth 8 and diameter 4. Our main results are as follows: Theorem. Let Γ=(X,R) be a distance-regular graph with diameter d≥3 and valency k≥3. Then the following are equivalent:

1. Γis a regular generalized quadrangle.
2. Γis thin and c ₃=1.

Corollary. Let Γ=(X,R) be a thin distance-regular graph with diameter d≥3 and valency k≥3. Then Γ has girth 3, 4, 6, or 8. Then girth of Γ is 8 exactly when Γ is a regular generalized quadrangle.     

A generalized preimage theorem in global analysis

The concept of locally fine point and generalized regular value of a C¹ map between Banach spaces were carried over C¹ map between Banach manifolds. Hence the preimage theorem, a principle constructing Banach manifolds in global analysis, is generalized.     

Some kind of Pareto stationarity for multiobjective problems with equilibrium constraints

ABSTRACT

In this paper, we derive some optimality and stationarity conditions for a multiobjective problem with equilibrium constraints (MOPEC). In particular, under a generalized Guignard constraint qualification, we show that any locally Pareto optimal solution of MOPEC must satisfy the strong Pareto Kuhn-Tucker optimality conditions. We also prove that the generalized Guignard constraint qualification is the weakest constraint qualification for the strong Pareto Kuhn-Tucker optimality. Furthermore, under certain convexity or generalized convexity assumptions, we show that the strong Pareto Kuhn-Tucker optimality conditions are also sufficient for several popular locally Pareto-type optimality conditions for MOPEC.     

A Midpoint Method for Generalized Equations Under Mild Differentiability Condition

The aim of this study is the approximation of a solution x ^? of the generalized equation 0∈f(x)+F(x) in Banach spaces, where f is a single function whose second order Fréchet derivative ?² f verifies an Hölder condition, and F stands for a set-valued map with closed graph. Using a fixed point theorem and proceeding by induction under the pseudo-Lipschitz property of F, we obtain a sequence defined by a midpoint formula whose convergence to x ^? is superquadratic. Taking a weaker condition, we present the result obtained when ?² f satisfies a center-Hölder conditioning.     

A calculus of Fourier integral operators with inhomogeneous phase functions on R<Superscript> <Emphasis Type="Italic">d</Emphasis> </Superscript>

We construct a calculus for generalized SG Fourier integral operators, extending known results to a broader class of symbols of SG type. In particular, we do not require that the phase functions are homogeneous. An essential ingredient in the proofs is a general criterion for asymptotic expansions within the Weyl-Hörmander calculus. We also prove the L²(R^d)-boundedness of the generalized SG Fourier integral operators having regular phase functions and amplitudes uniformly bounded on R^2d.     

On Optimality Conditions in Control of Elliptic Variational Inequalities

In the paper we consider optimal control of a class of strongly monotone variational inequalities, whose solution map is directionally differentiable in the control variable. This property is used to derive sharp pointwise necessary optimality conditions provided we do not impose any control or state constraints. In presence of such constraints we make use of the generalized differential calculus and derive, under a mild constraint qualification, optimality conditions in a “fuzzy” form. For strings, these conditions may serve as an intermediate step toward pointwise conditions of limiting (Mordukhovich) type and in the case of membranes they lead to a variant of Clarke stationarity conditions.     

On dimensionally exotic maps

We call a value y = f(x) of a map f: X → Y dimensionally regular if dimX ≤ dim(Y × f ^?1(y)). It was shown in [6] that if a map f: X → Y between compact metric spaces does not have dimensionally regular values, then X is a Boltyanskii compactum, i.e., a compactum satisfying the equality dim(X × X) = 2dim X ? 1. In this paper we prove that every Boltyanskii compactum X of dimension dim X ≥ 6 admits a map f: X → Y without dimensionally regular values. We show that the converse does not hold by constructing a 4-dimensional Boltyanskii compactum for which every map has a dimensionally regular value.     

Numerical solution to generalized Lyapunov/Stein and rational Riccati equations in stochastic control

We consider the numerical solution of the generalized Lyapunov and Stein equations in \(\mathbb {R}^{n}\), arising respectively from stochastic optimal control in continuous- and discrete-time. Generalizing the Smith method, our algorithms converge quadratically and have an O(n³) computational complexity per iteration and an O(n²) memory requirement. For large-scale problems, when the relevant matrix operators are “sparse”, our algorithm for generalized Stein (or Lyapunov) equations may achieve the complexity and memory requirement of O(n) (or similar to that of the solution of the linear systems associated with the sparse matrix operators). These efficient algorithms can be applied to Newton’s method for the solution of the rational Riccati equations. This contrasts favourably with the naive Newton algorithms of O(n⁶) complexity or the slower modified Newton’s methods of O(n³) complexity. The convergence and error analysis will be considered and numerical examples provided.     

Positive solutions of quasilinear elliptic inequalities on noncompact Riemannian manifolds

In this paper, we consider the generalized solutions of the inequality $$ - div(A(x,u,\nabla u)\nabla u) \geqslant F(x,u,\nabla u)u^q , q > 1,$$ on noncompact Riemannian manifolds. We obtain sufficient conditions for the validity of Liouville’s theorem on the triviality of the positive solutions of the inequality under consideration. We also obtain sharp conditions for the existence of a positive solution of the inequality ? Δu ≥ u ^q, q > 1, on spherically symmetric noncompact Riemannian manifolds.     

Cichoń’s diagram for uncountable cardinals

We develop a version of Cichoń’s diagram for cardinal invariants on the generalized Cantor space 2 ^κ or the generalized Baire space κ ^κ , where κ is an uncountable regular cardinal. For strongly inaccessible κ, many of the ZFC-results about the order relationship of the cardinal invariants which hold for ω generalize; for example, we obtain a natural generalization of the Bartoszyński–Raisonnier–Stern Theorem. We also prove a number of independence results, both with < κ-support iterations and κ-support iterations and products, showing that we consistently have strict inequality between some of the cardinal invariants.     

On generalized inverse transversals

Let S be a regular semigroup, S° an inverse subsemigroup of S.S° is called a generalized inverse transversal of S, if V（x）∩S°≠Ф. In this paper, some properties of this kind of semigroups are discussed. In particular, a construction theorem is obtained which contains some recent results in the literature as its special cases.     

Equivalence of two definitions of a generalized <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> solution to the initial-boundary value problem for the wave equation

In our previous papers, we introduced the notion of a generalized solution to the initial-boundary value problem for the wave equation with a boundary function µ(t) such that the integral ∫ ₀ ^T (T ? t)|µ(t)| ^p dt exists. Here we prove that this solution is a unique solution to the problem in L _p that satisfies the corresponding integral identity.