A variational approach to bifurcation in reaction-diffusion systems with Signorini type boundary conditions

We consider a simple reaction-diffusion system exhibiting Turing’s diffusion driven instability if supplemented with classical homogeneous mixed boundary conditions. We consider the case when the Neumann boundary condition is replaced by a unilateral condition of Signorini type on a part of the boundary and show the existence and location of bifurcation of stationary spatially non-homogeneous solutions. The nonsymmetric problem is reformulated as a single variational inequality with a potential operator, and a variational approach is used in a certain non-direct way.     

A variational approach to bifurcation points of a reaction-diffusion system with obstacles and neumann boundary conditions

Given a reaction-diffusion system which exhibits Turing’s diffusion-driven instability, the influence of unilateral obstacles of opposite sign (source and sink) on bifurcation and critical points is studied. In particular, in some cases it is shown that spatially nonhomogeneous stationary solutions (spatial patterns) bifurcate from a basic spatially homogeneous steady state for an arbitrarily small ratio of diffusions of inhibitor and activator, while a sufficiently large ratio is necessary in the classical case without unilateral obstacles. The study is based on a variational approach to a non-variational problem which even after transformation to a variational one has an unusual structure for which usual variational methods do not apply.     

Bifurcation of periodic solutions to variational inequalities in R κ based on Alexander-Yorke theorem

Variational inequalities are studied, where K is a closed convex cone in , 3, B is a × matrix, G is a small perturbation, a real parameter. The assumptions guaranteeing a Hopf bifurcation at some ₀ for the corresponding equation are considered and it is proved that then, in some situations, also a bifurcation of periodic solutions to our inequality occurs at some _{I 0}. Bifurcating solutions are obtained by the limiting process along branches of solutions to penalty problems starting at ₀ constructed on the basis of the Alexander-Yorke theorem as global bifurcation branches of a certain enlarged system.     

A Note on a Boundary Value Problem

In this note, we prove that, for Robins boundary value problem, a unique solution exists if f_x(t, x, x), f_x(t, x, x), (t), and (t) are continuous, and f_x -(t), f_x -(t), 4(t) ² + ²(t) ++ 2(t), and 4(t) ² + ²(t) + 2(t).AMS Subject Classification (2000) 34B15     

An existence theorem for the Boussinesq equations with non-Dirichlet boundary conditions

The evolution Boussinesq equations describe the evolution of the temperature and velocity fields of viscous incompressible Newtonian fluids. Very often, they are a reasonable model to render relevant phenomena of flows in which the thermal effects play an essential role. In the paper we prescribe non-Dirichlet boundary conditions on a part of the boundary and prove the existence and uniqueness of solutions to the Boussinesq equations on a (short) time interval. The length of the time interval depends only on certain norms of the given data. In the proof we use a fixed point theorem method in Sobolev spaces with non-integer order derivatives. The proof is performed for Lipschitz domains and a wide class of data.     

SOME PROPERTIES OF HOLOMORPHIC CLIFFORDIAN FUNCTIONS IN COMPLEX CLIFFORD ANALYSIS

In this article, we mainly develop the foundation of a new function theory of several complex variables with values in a complex Clifford algebra defined on some subdomains of Cn+1, so-called complex holomorphic Cliffordian functions. We define the complex holomorphic Cliffordian functions, study polynomial and singular solutions of the equation D△mf=0, obtain the integral representation formula for the complex holomorphic Cliffordian functions with values in a complex Clifford algebra defined on some submanifolds of Cn+1, deduce the Taylor expansion and the Laurent expansion for them and prove an invariance under an action of Lie group for them.     

Exclusive and essential sets of implicates of Boolean functions

In this paper we study relationships between CNF representations of a given Boolean function f and certain sets of implicates of f. We introduce two definitions of sets of implicates which are both based on the properties of resolution. The first type of sets, called exclusive sets of implicates, is shown to have a functional property useful for decompositions. The second type of sets, called essential sets of implicates, is proved to possess an orthogonality property, which implies that every CNF representation and every essential set must intersect. The latter property then leads to an interesting question, to which we give an affirmative answer for some special subclasses of Horn Boolean functions.     

On free semilattice-ordered semigroups satisfying x n =x

Let B(k,0,n) denote the group with k generators which is free in the group variety defined by the identity x ⁿ =1. Let B _slo (k,1,n) denote the semilattice-ordered semigroup with k generators which is free in the semilattice-ordered semigroup variety defined by the identity x ⁿ =x. We prove a generalization of the Green-Rees theorem: B _slo (k,1,n) is finite for all k≥1 if and only if B(k,0,n−1) is finite for all k≥1. We find a formula for card(B _slo (1,1,n)). We construct B _slo (k,1,n) for some concrete values of k and n.     

A new proof of the Solomon-Tits theorem

We give a new proof of the Solomon-Tits Theorem which asserts that the Tits building of a finite group of Lie type has the homotopy type of a bouquet of spheres.