The Nöther and Riemann-Roch type theorems for piecewise algebraic curve

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function. In this paper, the Nöther type theorems for C ^µ piecewise algebraic curves are obtained. The theory of the linear series of sets of places on the piecewise algebraic curve is also established. In this theory, singular cycles are put into the linear series, and a complete series of the piecewise algebraic curves consists of all effective ordinary cycles in an equivalence class and all effective singular cycles which are equivalent specifically to any effective ordinary cycle in the equivalence class. This theory is a generalization of that of linear series of the algebraic curve. With this theory and the fundamental theory of multivariate splines on smoothing cofactors and global conformality conditions, and the results on the general expression of multivariate splines, we get a formula on the index, the order and the dimension of a complete series of the irreducible C ^µ piecewise algebraic curves and the degree, the genus and the smoothness of the curves, hence the Riemann-Roch type theorem of the C ^µ piecewise algebraic curve is established.     

A new algorithm for computing the multivariate Faà di Bruno’s formula

A new algorithm for computing the multivariate Faà di Bruno’s formula is provided. We use a symbolic approach based on the classical umbral calculus that turns the computation of the multivariate Faà di Bruno’s formula into a suitable multinomial expansion. We propose a MAPLE procedure whose computational times are faster compared with the ones existing in the literature. Some illustrative applications are also provided.     

Partial expansion of a Lipschitz domain and some applications

We show that a Lipschitz domain can be expanded solely near a part of its boundary, assuming that the part is enclosed by a piecewise C ¹ curve. The expanded domain as well as the extended part are both Lipschitz. We apply this result to prove a regular decomposition of standard vector Sobolev spaces with vanishing traces only on part of the boundary. Another application in the construction of low-regularity projectors into finite element spaces with partial boundary conditions is also indicated.     

The Cauchy Boundary Value Problems on Closed Piecewise Smooth Manifolds in <Emphasis Type="Italic">C</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Suppose that D is a bounded domain with a piecewise C^1 smooth boundary in C^n. Let ψ∈C^1 α(δD). By using the Hadamard principal value of the higher order singular integral and solid angle coefficient method of points on the boundary, we give the Plemelj formula of the higher order singular integral with the Boehner-Martinelli kernel, which has integral density ψ. Moreover, by means of the Plemelj formula and methods of complex partial differential equations, we discuss the corresponding Cauehy boundary value problem with the Boehner-Martinelli kernel on a closed piecewise smooth manifold and obtain its unique branch complex harmonic solution.     

Three-dimensional singularities of elastic fields near vertices

For the computation of the singular behavior of an elastic field near a three-dimensional vertex subject to displacement boundary conditions we use a boundary integral equation of the first kind whose unknown is the boundary stress. Localization at the vertex and Mellin transformation yield a one-dimensional integral equation on a piecewise circular curve γ in IR³ depending holomorphically on the complex Mellin parameter. The corresponding spectral points and packets of generalized eigenvectors characterize the desired stress field and are computed by a spline-Galerkin method with graded meshes at the corner points of the curve γ. © 1993 John Wiley & Sons, Inc.     

The several transformation formula in several complex variables and its applications

In this paper, by the method of global analysis, the authors give a new global integral transformation formula and obtain the Plemelj formula with Hadamard principal value of higher-order partial derivatives for the integral of Bochner-Martinelli type on a closed piecewise smooth orientable manifold C ⁿ . Moreover, the authors obtain the composition formula, Poincaré-Bertrand extended formula of the corresponding singular integral. As the application of some results, the authors also study a higher-order Cauchy boundary problem and a regularization problem of higher-order linear complex differential singular integral equation with variable coefficients.     

Gauss-Green cubature and moment computation over arbitrary geometries

We have implemented in Matlab a Gauss-like cubature formula over arbitrary bivariate domains with a piecewise regular boundary, which is tracked by splines of maximum degree p (spline curvilinear polygons). The formula is exact for polynomials of degree at most 2n−1 using N∼cmn² nodes, 1≤c≤p, m being the total number of points given on the boundary. It does not need any decomposition of the domain, but relies directly on univariate Gauss-Legendre quadrature via Green’s integral formula. Several numerical tests are presented, including computation of standard as well as orthogonal moments over a nonstandard planar region.     

Hom complexes and hypergraph colorings

Babson and Kozlov (2006) [2] studied Hom-complexes of graphs with a focus on graph colorings. In this paper, we generalize Hom-complexes to r-uniform hypergraphs (with multiplicities) and study them mainly in connection with hypergraph colorings. We reinterpret a result of Alon, Frankl and Lovász (1986) [1] by Hom-complexes and show a hierarchy of known lower bounds for the chromatic numbers of r-uniform hypergraphs (with multiplicities) using Hom-complexes.     

Algebras of Singular Integral Operators with Piecewise Continuous Coefficients on Reflexive Orlicz Spaces

We consider singular integral operators with piecewise continuous coefficients on reflexive Orlicz spaces L_m(σ) which are generalizations of the Lebesgue spaces L_P(σ), 1 < p < ∞. We suppose that σ belongs to a large class of Carleson curves, including curves with corners and cusps as well as curves that look locally like two logarithmic spirals scrolling up at the same point. For the singular integral operator associated with the Riemann boundary value problem with a piecewise continuous coefficient G, we establish a Fredholm criterion and an index formula in terms of the essential range of G complemented by spiralic horns depending on the Boyd indices of L_M(σ) and contour properties. Our main result is a symbol calculus for the closed algebra of singular integral operators with piecewise continuous matrix - valued coefficients on L_Mⁿ(σ).     

A note on comparing response times in the M/GI/1/FB and M/GI/1/PS queues

We compare the overall mean response time (a.k.a. sojourn time) of the processor sharing (PS) and feedback (FB) queues under an M/GI/1 system. We show that FB outperforms PS under service distributions having decreasing failure rates; whereas PS outperforms FB under service distributions having increasing failure rates.     

A layer adaptive B‐spline collocation method for singularly perturbed one‐dimensional parabolic problem with a boundary turning point

In this article, we develop a parameter uniform numerical method for a class of singularly perturbed parabolic equations with a multiple boundary turning point on a rectangular domain. The coefficient of the first derivative with respect to x is given by the formula a₀(x, t)x^p, where a₀(x, t) ≥ α > 0 and the parameter p ∈ [1,∞) takes the arbitrary value. For small values of the parameter ε, the solution of this particular class of problem exhibits the parabolic boundary layer in a neighborhood of the boundary x = 0 of the domain. We use the implicit Euler method to discretize the temporal variable on uniform mesh and a B‐spline collocation method defined on piecewise uniform Shishkin mesh to discretize the spatial variable. Asymptotic bounds for the derivatives of the solution are established by decomposing the solution into smooth and singular component. These bounds are applied in the convergence analysis of the proposed scheme on Shishkin mesh. The resulting method is boundary layer resolving and has been shown almost second‐order accurate in space and first‐order accurate in time. It is also shown that the proposed method is uniformly convergent with respect to the singular perturbation parameter ε. Some numerical results are given to confirm the predicted theory and comparison of numerical results made with a scheme consisting of a standard upwind finite difference operator on a piecewise uniform Shishkin mesh. © 2010 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 27: 1143–1164, 2011     

Cancellation properties in ideal systems: A classification of e.a.b. semistar operations

We give a classification of e.a.b. semistar (and star) operations by defining four different (successively smaller) distinguished classes. Then, using a standard notion of equivalence of semistar (and star) operations to partition the collection of all e.a.b. semistar (or star) operations, we show that there is exactly one operation of finite type in each equivalence class and that this operation has a range of nice properties. We give examples to demonstrate that the four classes of e.a.b. semistar (or star) operations we defined can all be distinct. In particular, we solve the open problem of showing that a.b. is really a stronger condition than e.a.b.     

Uniqueness Theorems for the Frankl-Morawetz Problem in R2 for a Class of Nonlinear Equations of Mixed Type

We consider the question of uniqueness for the solutions of the boundary value problem (1) where sgn K(y) = sgn y and Γ₀ and Γ₁ are parts of the boundary of a bounded simply connected region G in R². G is bounded for y > 0 by a piecewise smooth curve Γ₀ which intersects the line y = 0 at A (– 1, 0) and B(0, 0). For y < 0 G is bounded by a piecewise smooth curve Γ₁ through A, which meets the characteristic of (1) issued from B at point C, and by the curve Γ₂ which consists of the portion CB of the characteristic through B. Using energy-integral considerations, we give sufficient conditions for the uniqueness of solutions to boundary value problem (1).     

Optimal and adaptive control for a kind of 3D chaotic and 4D hyper-chaotic systems

This paper is concerned with the chaos control of two autonomous chaotic and hyper-chaotic systems. First, based on the Pontryagin minimum principle (PMP), an optimal control technique is presented. Next, we proposed Lyapunov stability to control of the autonomous chaotic and hyper-chaotic systems with unknown parameters by a feedback control approach. Matlab bvp4c and ode45 have been used for solving the autonomous chaotic systems and the extreme conditions obtained from the PMP. Numerical simulations on the chaotic and hyper-chaotic systems are illustrated to show the effectiveness of the analytical results.     

A primer on disease mapping and ecological regression using {\texttt{INLA}}

Spatial and spatio-temporal disease mapping models are widely used for the analysis of registry data and usually formulated in a hierarchical Bayesian framework. Explanatory variables can be included by a so-called ecological regression. It is possible to assume both a linear and a nonparametric association between disease incidence and the explanatory variable. Integrated nested Laplace approximations (INLA) can be used as a tool for Bayesian inference. INLA is a promising alternative to Markov chain Monte Carlo (MCMC) methods which provides very accurate results within short computational time. It is shown in this paper, how parameter estimates for well-known spatial and spatio-temporal models can be obtained by running INLA directly in R{\texttt{R}} using the package INLA{\texttt{INLA}}. Selected R{\texttt{R}} code is shown. An emphasis is given to the inclusion of an explanatory variable. Cases of Coxiellosis among Swiss cows from 2005 to 2008 are used for illustration. The number of stillborn calves is included as time-varying covariate. Additionally, various aspects of INLA such as model choice criteria, computer time, accuracy of the results and usability of the R{\texttt{R}} package are discussed.     

A spline collocation method for parabolic pseudodifferential equations

The purpose of this paper is to examine a boundary element collocation method for some parabolic pseudodifferential equations. The basic model problem for our investigation is the two-dimensional heat conduction problem with vanishing initial condition and a given Neumann or Dirichlet type boundary condition. Certain choices of the representation formula for the heat potential yield boundary integral equations of the first kind, namely the single layer and the hypersingular heat operator equations. Both of these operators, in particular, are covered by the class of parabolic pseudodifferential operators under consideration. Moreover, the spatial domain is allowed to have a general smooth boundary curve. As trial functions the tensor products of the smoothest spline functions of odd degree (space) and continuous piecewise linear splines (time) are used. Stability and convergence of the method is proved in some appropriate anisotropic Sobolev spaces.     

Determining conductivity by boundary measurements II. Interior results

In a recent paper [6] we showed that an unknown real-analytic conductivity γ may be determined from static boundary measurements. Here we extend this analysis by demonstrating that a similar result holds for piecewise real-analytic conductivities. In addition, for the special case of a layered structure we show that a three times continuously differentiable conductivity is identifiable by boundary measurements.     

A fast local search method for minimum energy broadcast in wireless ad hoc networks

Local search methods are often used to reduce the power consumption of broadcast routing in wireless networks. For a classic method, sweep, the best available time complexity result is O(|V|⁴). We present an O(|V|²)-time method, which exhaustively removes unnecessary transmissions yielding a solution comparable to that of sweep.     

Generalized Pattern Search methods for a class of nonsmooth optimization problems with structure

We propose a Generalized Pattern Search (GPS) method to solve a class of nonsmooth minimization problems, where the set of nondifferentiability is included in the union of known hyperplanes and, therefore, is highly structured. Both unconstrained and linearly constrained problems are considered. At each iteration the set of poll directions is enforced to conform to the geometry of both the nondifferentiability set and the boundary of the feasible region, near the current iterate. This is the key issue to guarantee the convergence of certain subsequences of iterates to points which satisfy first-order optimality conditions. Numerical experiments on some classical problems validate the method.     

The Cayley-Bacharach theorem for continuous piecewise algebraic curves over cross-cut triangulations

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function. In this paper, we propose the Cayley-Bacharach theorem for continuous piecewise algebraic curves over cross-cut triangulations. We show that, if two continuous piecewise algebraic curves of degrees m and n respectively meet at mnT distinct points over a cross-cut triangulation, where T denotes the number of cells of the triangulation, then any continuous piecewise algebraic curve of degree m + n − 2 containing all but one point of them also contains the last point.