Powell–Sabin splines with boundary conditions for polygonal and non-polygonal domains

Powell–Sabin splines are piecewise quadratic polynomials with a global C¹$C^1$-continuity, defined on conforming triangulations. Imposing boundary conditions on such a spline leads to a set of constraints on the spline coefficients. First, we discuss boundary conditions defined on a polygonal domain, before we treat boundary conditions on a general curved domain boundary. We consider Dirichlet and Neumann conditions, and we show that a particular choice of the PS-triangles at the boundary can greatly simplify the corresponding constraints. Finally, we consider an application where the techniques developed in this paper are used: the numerical solution of a partial differential equation by the Galerkin and collocation method.     

A normalized representation of super splines of arbitrary degree on Powell–Sabin triangulations

In the paper, a family of bivariate super spline spaces of arbitrary degree defined on a triangulation with Powell–Sabin refinement is introduced. It includes known spaces of arbitrary smoothness r and degree \(3r-1\) but provides also other choices of spline degree for the same r which, in particular, generalize a known space of \(\mathscr {C}^{1}\) cubic super splines. Minimal determining sets of the proposed super spline spaces of arbitrary degree are presented, and the interpolation problems that uniquely specify their elements are provided. Furthermore, a normalized representation of the discussed splines is considered. It is based on the definition of basis functions that have local supports, are nonnegative, and form a partition of unity. The basis functions share numerous similarities with classical univariate B-splines.     

Bivariate C 2 cubic spline quasi-interpolants on uniform Powell–Sabin triangulations of a rectangular domain

In this paper we construct discrete quasi-interpolants based on C ² cubic multi-box splines on uniform Powell–Sabin triangulations of a rectangular domain. The main problem consists in finding the coefficient functionals associated with boundary multi-box splines (i.e. multi-box splines whose supports overlap with the domain) involving data points inside or on the boundary of the domain and giving the optimal approximation order. They are obtained either by minimizing an upper bound for the infinity norm of the operator w.r.t. a finite number of free parameters, or by inducing the superconvergence of the gradient of the quasi-interpolant at some specific points of the domain. Finally, we give norm and error estimates and we provide some numerical examples illustrating the approximation properties of the proposed operators.     

Construction of Normalized B-Splines for a Family of Smooth Spline Spaces Over Powell–Sabin Triangulations

We construct a suitable B-spline representation for a family of bivariate spline functions with smoothness r≥1 and polynomial degree 3r?1. They are defined on a triangulation with Powell–Sabin refinement. The basis functions have a local support, they are nonnegative, and they form a partition of unity. The construction involves the determination of triangles that must contain a specific set of points. We further consider a number of CAGD applications. We show how to define control points and control polynomials (of degree 2r?1), and we provide an efficient and stable computation of the Bernstein–Bézier form of such splines.     

The application of Cayley–Bacharach Theorem to bivariate Lagrange interpolation

In this paper, we give a new proof of the famous Cayley–Bacharach theorem by means of interpolation, and deduce a general method of constructing properly posed set of nodes for bivariate Lagrange interpolation. As a result, we generalize the main results in Liang (On the interpolations and approximations in several variables, Jilin University, 1965), Liang and Lü (Approximation Theory IX, Vanderbilt University Press, 1988) and Liang et al. (Analysis, Combinatorics and Computing, Nova Science Publishers, Inc., New York, 2002) to the more extensive situations.     

On a family of results concerning direction of vorticity and regularity for the Navier–Stokes equations

These notes concern existence, and suitable formulation, of meaningful conditions on the direction of the vorticity which guarantee the regularity of the solutions to the evolution Navier–Stokes equations. A main concern here is to compare the different situations which appear in considering slip and no-slip boundary conditions. The paper reviews mainly results obtained in some of the references cited.     

Convergence of a finite element method on a Bakhvalov-type mesh for a singularly perturbed convection–diffusion equation in 2D

A finite element method of any order is applied on a Bakhvalov-type mesh to solve a singularly perturbed convection–diffusion equation in 2D, whose solution exhibits exponential boundary layers. A uniform convergence of (almost) optimal order is proved by means of a carefully defined interpolant.     

Existence and construction of Δ1-splines of class Ck on a three-directional mesh

Let ^* be the equilateral triangulation of the plane and let ₁ ^* be the equilateral triangle formed by four triangles of ^*. We study the space of piecewise polynomial functions in C ^k (R ²) with support ₁ ^*, having a sufficiently high degree n and which are invariant with respect to the group of symmetries of ₁ ^*. Such splines are called ₁ ^*-splines. We first compute the dimension of this space in function of n and k. Then, for any fixed k0, we prove the existence of ₁ ^*-splines of class C ^k and minimal degree, but these splines are not unique. Finally, we describe an algorithm computing the Bernstein–Bézier coefficients of these splines.     

Optimal repair–replacement policies for a system with two types of failures

In this paper, the optimal replacement problem is investigated for a system with two types of failures. One type of failure is repairable, which is conducted by a repairman when it occurs, and the other is unrepairable, which leads to a replacement of the system at once. The repair of the system is not “as good as new”. The consecutive operating times of the system after repair form a decreasing geometric process, while the repair times after failure are assumed to be independent and identically distributed. Replacement policy N is adopted, where N is the number of repairable failures. The system will be replaced at the Nth repairable failure or at the unrepairable failure, whichever occurs first. Two replacement models are considered, one is based on the limiting availability and the other based on the long-run average cost rate of the system. We give the explicit expressions for the limiting availability and the long-run average cost rate of the system under policy N, respectively. By maximizing the limiting availability A(N) and minimizing the long-run average cost rate C(N), we theoretically obtain the optimal replacement policies N^∗ in both cases. Finally, some numerical simulations are presented to verify the theoretical results.     

The existence of a random attractor for the three dimensional damped Navier–Stokes equations with additive noise

This article is concerned with the asymptotical behavior of solutions for the three-dimensional damped Navier–Stokes equations with additive noise. Due to the shortage of the existence proof of the existence of random absorbing sets in a more regular phase space, we cannot obtain some kind of compactness of the cocycle associated with the three-dimensional damped Navier–Stokes equations with additive noise by the Sobolev compactness embedding theorem. In this paper, we prove the existence of a random attractor for the three-dimensional damped Navier–Stokes equations with additive noise by verifying the pullback flattening property.     

The uv-Decomposition on a Class of D.C. Functions and Optimality Conditions

In this paper,the UV-theory and P-differential calculus are employed to study second-order ex-pansion of a class of D.C.functions and minimization problems.Under certain conditions,some properties ofthe U-Lagrangian,the second-order expansion of this class of functions along some trajectories are formulated.Some first and second order optimality conditions for the class of D.C.optimization problems are given.     

Blow-up for a three dimensional Keller–Segel model with consumption of chemoattractant

We investigate blow-up properties for the initial-boundary value problem of a Keller–Segel model with consumption of chemoattractant when the spatial dimension is three. Through a kinetic reformulation of the Keller–Segel system, we first derive some higher-order estimates and obtain certain blow-up criteria for the local classical solutions. These blow-up criteria generalize the results in [4], [5] from the whole space ${\mathbb{R}}^3$ to the case of bounded smooth domain $\mathrm{\Omega }?{\mathbb{R}}^3$. Lower global blow-up estimate on ${6n6}_{L^{\infty }(\mathrm{\Omega })}$ is also obtained based on our higher-order estimates. Moreover, we prove local non-degeneracy for blow-up points.     

The global existence and asymptotic stability of solutions for a reaction–diffusion system

This paper studies the solutions of a reaction–diffusion system with nonlinearities that generalize the Lengyel–Epstein and FitzHugh–Nagumo nonlinearities. Sufficient conditions are derived for the global asymptotic stability of the solutions. Furthermore, we present some numerical examples.     

The Landau–Kolmogorov problem for the Laplace operator on a ball

In this paper we solve the problem of maximizing the value of the Laplace operator at the origin for functions such that the second degree of the Laplace operator belongs to the space L_∞ on the unit ball of the Euclidean space. The problem is solved under restrictions on the uniform norm of a function and the L_∞-norm of the second degree of the Laplace operator of this function.     

The Convergence of a Levenberg–Marquardt Method for Nonlinear Inequalities

In this paper, we consider the least l ₂-norm solution for a possibly inconsistent system of nonlinear inequalities. The objective function of the problem is only first-order continuously differentiable. By introducing a new smoothing function, the problem is approximated by a family of parameterized optimization problems with twice continuously differentiable objective functions. Then a Levenberg–Marquardt algorithm is proposed to solve the parameterized smooth optimization problems. It is proved that the algorithm either terminates finitely at a solution of the original inequality problem or generates an infinite sequence. In the latter case, the infinite sequence converges to a least l ₂-norm solution of the inequality problem. The local quadratic convergence of the algorithm was produced under some conditions.     

The effect of predator competition on positive solutions for a predator–prey model with diffusion

A diffusive predator–prey model with predator competition is considered under Dirichlet boundary conditions. Some existence and non-existence results are firstly obtained. Then by investigating the bifurcation of positive solutions, the multiplicity of positive solutions is established for suitably large m$m$. Furthermore, by meticulously analyzing the asymptotic behaviors of positive solutions when k$k$ goes to ∞$\infty$, we find that there is at most a positive solution for any c∈R$c\in R$ when k$k$ is sufficiently large. At last, some numerical simulations are presented to supplement the analytic results in one dimension.     

Curves on threefolds and a conjecture of Griffiths–Harris

We prove that any arithmetically Gorenstein curve on a smooth, general hypersurface of degree at least 6, is a complete intersection. This gives a characterisation of complete intersection curves on general type hypersurfaces in . We also verify that certain 1-cycles on a general quintic hypersurface are non-trivial elements of the Griffiths group.