Convergence of boundary optimal controls in mixed elliptic problems

We consider a steady-state heat conduction problem P_α withmixed boundary conditions for the Poisson equation in a bounded multidimensional domain Ω depending of a positive parameter α which represents the heat transfer coefficient on a portion Γ₁ of the boundary of Ω. We consider, for each α > 0, a cost function J_α and we formulate boundary optimal control problems with restrictions over the heat flux q on a complementary portion Γ₂ of the boundary of Ω. We obtain that the optimality conditions are given by a complementary free boundary problem in Γ₂ in terms of the adjoint state. We prove that the optimal control q and its corresponding system state u and adjoint state p for each α are strongly convergent to q_op, u and p in L²(Γ₂), H¹(Ω), and H¹(Ω) respectively when α → ∞. We also prove that these limit functions are respectively the optimal control, the system state and the adjoint state corresponding to another boundary optimal control problem with restrictions for the same Poisson equation with a different boundary condition on the portion Γ₁. We use the elliptic variational inequality theory in order to prove all the strong convergences. In this paper, we generalize the convergence result obtained in Ben Belgacem-El Fekih-Metoui, ESAIM:M2AN, 37 (2003), 833-850 by considering boundary optimal control problems with restrictions on the heat flux q defined on Γ₂ and the parameter α (which goes to infinity) is defined on Γ₁. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Isomorphism criterion for monomial graphs

Let q be a prime power, ??_q be the field of q elements, and k, m be positive integers. A bipartite graph G = G_q(k, m) is defined as follows. The vertex set of G is a union of two copies P and L of two‐dimensional vector spaces over ??_q, with two vertices (p₁, p₂) ∈ P and [ l₁, l₂] ∈ L being adjacent if and only if p₂ + l₂ = pl. We prove that graphs G_q(k, m) and G_q′(k′, m′) are isomorphic if and only if q = q′ and {gcd (k, q ? 1), gcd (m, q ? 1)} = {gcd (k′, q ? 1),gcd (m′, q ? 1)} as multisets. The proof is based on counting the number of complete bipartite INFgraphs in the graphs. © 2005 Wiley Periodicals, Inc. J Graph Theory 48: 322–328, 2005     

Star factorizations of graph products

A k‐star is the graph K_1,k. We prove a general theorem about k‐star factorizations of Cayley graphs. This is used to give necessary and sufficient conditions for the existence of k‐star factorizations of any power (K_q)^s of a complete graph with prime power order q, products C × C ×··· × C of k cycles of arbitrary lengths, and any power (C_r)^s of a cycle of arbitrary length. © 2001 John Wiley & Sons, Inc. J Graph Theory 36: 59–66, 2001     

More cyclic triplewhist tournaments

We extend the set of values of n for which it is known that a Z-cyclic triple whist tournament for 4n players exists by proving that if there exists such a tournament for q + 1 players, where q ≡ 3 (mod 4) is prime, then there exists such a tournament for qp^a1₁…p^an_n + 1 players, whenever the p_i are primes ≡ 5 (mod 8). © 1995 John Wiley & Sons, Inc.     

On the Lp–Lq maximal regularity for the linear thermoelastic plate equation in a bounded domain

This paper is concerned with the thermoelastic plate equations in a domain Ω: subject to the boundary condition: u|=D_νu|=θ|=0 and initial condition: (u, u_t, θ)|_t=0=(u₀, v₀, θ₀). Here, Ω is a bounded domain in ?ⁿ(n≧2). We assume that the boundary ?Ω of Ω is a C⁴ hypersurface. We obtain an L_p–L_q maximal regularity theorem. Copyright © 2008 John Wiley & Sons, Ltd.     

Class number one quadratic fields and solvability of some Pellian equations

Consider these two types of positive square-free integers d≠ 1 for which the class number h of the quadratic field Q(√d) is odd: (1) d is prime∈ 1(mod 8), or d=2q where q is prime ≡ 3 (mod 4), or d=qr where q and r are primes such that q≡ 3 (mod 8) and r≡ 7 (mod 8); (2) d is prime ≡ 1 (mod 8), or d=qr where q and r are primes such that q≡r≡ 3 or 7 (mod 8). For d of type (2) (resp. (1)), let Π be the set of all primes (resp. odd primes) p∈N satisfying (d/p) = 1. Also, let δ :=0 (resp. δ :=1) if d≡ 2,3 (mod 4) (resp. d≡ 1 (mod 4)). Then the following are equivalent: (a) h=1; (b) For every p∈П at least one of the two Pellian equations Z ²-dY ² = ±4^δ p is solvable in integers. (c) For every p∈П the Pellian equation W ²-dV ² = 4^δ p ² has a solution (w,v) in integers such that gcd (w,v) divides 2^δ.     

New partial difference sets in p‐groups

Latin square type partial difference sets (PDS) are known to exist in R × R for various abelian p‐groups R and in ?^t. We construct a family of Latin square type PDS in ?^t × ?^2nt_p using finite commutative chain rings. When t is odd, the ambient group of the PDS is not covered by any previous construction. © 2002 Wiley Periodicals, Inc. J Combin Designs 10: 394–402, 2002; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/jcd.10029     

The existence of positive solutions to a non‐local singular boundary value problem

We consider the non‐local singular boundary value problem (1) where q ∈ C⁰([0,1]) and f, h ∈ C⁰((0,∞)), limf(x)=?∞, limh(x)=∞. We present conditions guaranteeing the existence of a solution x ∈ C¹([0,1]) ∩ C²((0,1]) which is positive on (0,1]. The proof of the existence result is based on regularization and sequential techniques and on a non‐linear alternative of Leray–Schauder type. Copyright © 2005 John Wiley & Sons, Ltd.     

A generalization of Fermat's little theorem

Fermat's Little Theorem states that if p is a prime number and gcd (x,p) = 1, then x^p?1 ≡ 1 (modp) If the requirement that gcd (x,p) = 1 is dropped, we can say x^p ≡ x(modp)for any integer x. Euler generalized Fermat's Theorem in the following way: if gcd (x,n) = 1 then x^φ(n) ≡ 1(modn), where φ is the Euler phi-function. It is clear that Euler's result cannot be extended to all integers x in the same way Fermat's Theorem can; that is, the congruence x^φ(n)+1 ≡ x(modn)is not always valid. In this note we show exactly when the congruence x^φ(n)+1 ≡ x(modn) is valid.     

Mordell-Weil groups and Selmer groups of twin- prime elliptic curves

Let E = Eσ : y2 = x(x + σp)(x + σq) be elliptic curves, where σ = ±1, p and q are primenumbers with p+2 = q. (i) Selmer groups S(2)(E/Q), S(φ)(E/Q), and S(φ)(E/Q) are explicitly determined,e.g. S(2)(E+1/Q)= (Z/2Z)2, (Z/2Z)3, and (Z/2Z)4 when p ≡ 5, 1 (or 3), and 7(mod 8), respectively. (ii)When p ≡ 5 (3, 5 for σ = -1) (mod 8), it is proved that the Mordell-Weil group E(Q) ≌ Z/2Z Z/2Z,symbol, the torsion subgroup E(K)tors for any number field K, etc. are also obtained.     

Sharp Sobolev trace inequalities on Riemannian manifolds with boundaries

In this paper, we establish some sharp Sobolev trace inequalities on n-dimensional, compact Riemannian manifolds with smooth boundaries. More specifically, let q = 2(n - 1)/(n - 2), 1/S = inf {∫ |∇u|² : ∇u ∈ L²(R₊ⁿ), ∫ |u|^q = 1}. We establish for any Riemannian manifold with a smooth boundary, denoted as (M, g), that there exists some constant A = A(M, g) > 0, (∫_dM|u|^q ds_g)^2/q < or = to S ∫_M |∇_gu|² dv_g + A ∫_dMu² ds_g, for all u ∈ H¹ (M). The inequality is sharp in the sense that the inequality is false when S is replaced by any smaller number. © 1997 John Wiley & Sons, Inc.     

An application of the regularity lemma in generalized Ramsey theory

Given graphs G and H, an edge coloring of G is called an (H,q)‐coloring if the edges of every copy of H ? G together receive at least q colors. Let r(G,H,q) denote the minimum number of colors in a (H,q)‐coloring of G. In 9 Erd?s and Gyárfás studied r(K_n,K_p,q) if p and q are fixed and n tends to infinity. They determined for every fixed p the smallest q (denoted by q_lin) for which r(K_n,K_p,q) is linear in n and the smallest q (denoted by q_quad) for which r(K_n,K_p,q) is quadratic in n. They raised the problem of determining the smallest q for which we have . In this paper by using the Regularity Lemma we show that if , then we have . © 2003 Wiley Periodicals, Inc. J Graph Theory 44: 39–49, 2003     

Finite fields and the 1‐chromatic number of orientable surfaces

The 1‐chromatic number χ₁(S_p) of the orientable surface S_p of genus p is the maximum chromatic number of all graphs which can be drawn on the surface so that each edge is crossed by no more than one other edge. We show that if there exists a finite field of order 4m+1, m≥3, then 8m+2≤χ₁(S)≤8m+3, where 8m+3 is Ringel's upper bound on χ₁(S). © 2009 Wiley Periodicals, Inc. J Graph Theory 63: 179–184, 2010     

Existence of (q, 7, 1) difference families with q a prime power

The existence of a (q,k, 1) difference family in GF(q) has been completely solved for k = 3,4,5,6. For k = 7 only partial results have been given. In this article, we continue the investigation and use Weil's theorem on character sums to show that the necessary condition for the existence of a (q,7,1) difference family in GF(q), i.e. q ≡ 1; (mod 42) is also sufficient except for q = 43 and possibly except for q = 127, q = 211, q = 31⁶ and primes q∈ [261239791, 1.236597 × 10¹³] such that in GF(q). © 2002 Wiley Periodicals, Inc. J Combin Designs 10: 126–138, 2002; DOI 10.1002/jcd.998     

Weak amicable T‐matrices and Plotkin arrays

We introduce the class of weak amicable T‐matrices and use it to construct a class of orthogonal designs, for p = 1 and for p a prime power ≡ 3 (mod 4), and all odd q, q ≤ 21. This class includes new Plotkin arrays of order 24, 40, 56 and for the first time, of orders 8q, q ∈ {9,11,13,15,17,19,21}. © 2006 Wiley Periodicals, Inc. J Combin Designs 16: 44–52, 2008     

The Calderón approach to an elliptic boundary problem

We consider a boundary problem for an elliptic system in a bounded region Ω ? ?ⁿ and where the spectral parameter is multiplied by a discontinuous weight function ω (x) = diag(ω₁(x), …, ω_N (x)). The problem is considered under limited smoothness assumptions and under an ellipticity with parameter condition. Recently, this problem was studied under the assumption that the ω_j (x)^–1 are essentially bounded in Ω. In this paper we suppose that ω (x) vanishes identically in a proper subregion Ω of Ω and that the ω_j (x)^–1 are essentially bounded in . Then by using methods which are a variant of those used in constructing the Calderón projectors for the boundary Γ of Ω, we shall derive results here which will enable us in a subsequent work to apply the ideas of Calderón to develop the spectral theory associated with the problem under consideration here (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Designs from projective planes and PBD bases

The essential theme of this article is the exploitation of known configurations in projective planes in order to construct pairwise balanced designs. Among the results shown are (q² + 1)/2 ∈ B((q + 1)/2, 2) for all odd prime powers q; the resolution of 31 of the Mullin and Stinson's open cases in the spectrum of B(P₇, 1), where P₇ is odd prime powers ≥ 7; some constructions showing the inessential nature of values in E, where E are PBD generating sets containing values equal to 1 mod(a) for 5 ≤ a ≤ 7; some constructions with block sizes being prime powers ≥ 8, yielding 7 MOLS of order 158 and 9 MOLS of order 254; and some designs on 28, 38, 42, 56, 63, 68, 72, and 156 points with interesting block sizes. © 1999 John Wiley & Sons, Inc. J Combin Designs 7: 341–374, 1999     

A new construction of perfect nonlinear functions using Galois rings

For a prime p, we give a construction of perfect nonlinear functions from ? to ? when either of the following conditions holds: (1) n≥p; (2) n<p, and n is a composite number or is the sum of positive composite numbers. It follows that when n≥12, there is a perfect nonlinear function from ? to ? for any prime p. © 2009 Wiley Periodicals, Inc. J Combin Designs 17: 229‐239, 2009     

A continuation principle for a class of periodically perturbed autonomoussystems

The paper deals with a T ‐periodically perturbed autonomous system in ℝⁿ of the form ((PS)) with ε > 0 small. The main goal of the paper is to provide conditions ensuring the existence of T ‐periodic solutions to (PS) belonging to a given open set W ⊂ C ([0, T ],ℝⁿ ). This problem is considered in the case when the boundary ∂W of W contains at most a finite number of nondegenerate T ‐periodic solutions of the autonomous system = ϕ (x). The starting point of our approach is the following property due to Malkin: if for any T ‐periodic limit cycle x 0 of = ϕ (x) belonging to ∂W the so‐called bifurcation function f (θ), θ ∈ [0, T ], associated to x₀, see (1.11), satisfies the condition f(0) ≠ 0 then the integral operator does not have fixed points on ∂W for all ε > 0 sufficiently small. By means of the Malkin's bifurcation function we then establish a formula to evaluate the Leray–Schauder topological degree of I – Q_ε on W. This formula permits to state existence results that generalize or improve several results of the existing literature. In particular, we extend a continuation principle due to Capietto, Mawhin and Zanolin where it is assumed that ∂W does not contain any T ‐periodic solutions of the unperturbed system. Moreover, we obtain generalizations or improvements of some existence results due to Malkin and Loud. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A new construction for Williamson-type matrices

It is shown that ifq is a prime power then there are Williamson-type matrices of order

1. 1/2q ²(q + 1) whenq ≡ 1 (mod 4).
2. 1/4q ²(q + 1) whenq ≡ 3 (mod 4) and there are Williamson-type matrices of order 1/4(q + 1).

This gives Williamson-type matrices for the new orders 363, 1183, 1805, 2601, 3174, 5103. The construction can be combined with known results on orthogonal designs to give an Hadamard matrix of the new order 33396 = 4 ? 8349.