Uniqueness of weak solutions in critical space of the 3‐D time‐dependent Ginzburg‐Landau equations for superconductivity

We prove the uniqueness of weak solutions of the 3‐D time‐dependent Ginzburg‐Landau equations for super‐conductivity with initial data (ψ₀, A₀)∈ L² under the hypothesis that (ψ, A) ∈ L^s(0, T; L^r,∞) × (0, T; with Coulomb gauge for any (r, s) and satisfying + = 1, + = 1, ≥ , ≥ and 3 < r ≤ 6, 3 < ≤ ∞. Here L^r,∞ ≡ is the Lorentz space. As an application, we prove a uniqueness result with periodic boundary condition when ψ₀ ∈ , A₀ ∈ L³ (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Conditions for Correct Solvability of a Simplest Singular Boundary Value Problem

We consider a boundary value problem where f(x) ∈ L_p(R), p ∈ [1,∞] (L_∞(R) ≔ C(R) and 0 ≤ q(x) ∈ L^loc₁( R). Boundary value problem (0.1) is called correctly solvable in the given space L_p(R) if for any f(x) ∈ L_p(R) there is a unique solution y(x) ∞ L_p(R) and the following inequality holds with absolute constant c(p) ∈ (0,∞). We find criteria for correct solvability of the problem (0.1) in L_p(R).     

Hadamard matrices constructed from supplementary difference sets in the class ℋ︁1

In this article we give the definition of the class ??₁ and prove: (1) ??₁(v) ≠ ? for v ∈ ?? = ??₁ ∪ ??₂ ∪ ??₃ where (2) there exists 2 ? {2q²; q² ± q, q²;q² ± q} supplementary difference sets for q² ∈ ??; (3) there exists an Hadamard matrix of order 4v for v ∈ ??; (4) if t is an order of T-matrices, there exists an Hadamard matrix of order 4tv for v ∈ ??. © 1994 John Wiley & Sons, Inc.     

Blow‐up analysis for a system of heat equations coupled via nonlinear boundary conditions

In this paper, we study a system of heat equations coupled via nonlinear boundary conditions (1) Here p, q>0. We prove that the solutions always blow up in finite time for non‐trivial and non‐negative initial values. We also prove that the blow‐up occurs only on S_R = ?B_R for Ω = B_R = {x ? ?ⁿ:|x|<R}and under some assumptions on the initial values. Copyright © 2007 John Wiley & Sons, Ltd.     

Multiplicity results near the principal eigenvalue for boundary‐value problems with periodic nonlinearity

Let us consider the boundary‐value problem where g: ? → ? is a continuous and T ‐periodic function with zero mean value, not identically zero, (λ, a) ∈ ?² and ∈ C [0, π ] with ∫^π ₀ (x) sin x dx = 0. If λ ₁ denotes the first eigenvalue of the associated eigenvalue problem, we prove that if (λ, a) → (λ ₁, 0), then the number of solutions increases to infinity. The proof combines Liapunov–Schmidt reduction together with a careful analysis of the oscillatory behavior of the bifurcation equation. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Second‐order backward stochastic differential equations and fully nonlinear parabolic PDEs

For a d‐dimensional diffusion of the form dX_t = μ(X_t)dt + σ(X_t)dW_t and continuous functions f and g, we study the existence and uniqueness of adapted processes Y, Z, Γ, and A solving the second‐order backward stochastic differential equation (2BSDE) If the associated PDE has a sufficiently regular solution, then it follows directly from Itô's formula that the processes solve the 2BSDE, where ?? is the Dynkin operator of X without the drift term. The main result of the paper shows that if f is Lipschitz in Y as well as decreasing in Γ and the PDE satisfies a comparison principle as in the theory of viscosity solutions, then the existence of a solution (Y, Z,Γ, A) to the 2BSDE implies that the associated PDE has a unique continuous viscosity solution v and the process Y is of the form Y_t = v(t, X_t), t ∈ [0, T]. In particular, the 2BSDE has at most one solution. This provides a stochastic representation for solutions of fully nonlinear parabolic PDEs. As a consequence, the numerical treatment of such PDEs can now be approached by Monte Carlo methods. © 2006 Wiley Periodicals, Inc.     

On the Harnack principle for strongly elliptic systems with nonsmooth coefficients

In this paper we prove the following theorem (for notation and definitions, see the paragraphs below): “Let Ω ⊆ ℝⁿ be a domain, m ∈ ℕ, and λ, q > 0. Then, there exists r (= r(λ, q)) > 1 such that for every 0 < p < q, whenever are weak solutions of a strongly elliptic system with m equations of ellipticity λ satisfying ∈ 𝒫_r a.e. and Ω′ ⊆ Ω subdomain, the following inequalities hold: where C (= C(n,m,λ,q,p,Ω,Ω′)) is a positive constant.” © 1999 John Wiley & Sons, Inc.     

Analytic aspects of the Toda system: I. A Moser‐Trudinger inequality

In this paper, we analyze solutions of the open Toda system and establish an optimal Moser‐Trudinger type inequality for this system. Let Σ be a closed surface with area 1 and K = (a_ij)_{N × N} the Cartan matrix for SU(N + 1), i.e., We show that has a lower bound in (H¹(Σ))^N if and only if This inequality is optimal. As a direct consequence, if M_j < for 4π for j = 1, 2, …, N, Φ_M has a minimizer u that satisfies © 2001 John Wiley & Sons, Inc.     

A Γ‐convergence result for the two‐gradient theory of phase transitions

The generalization to gradient vector fields of the classical double‐well, singularly perturbed functionals, where W(ξ) = 0 if and only if ξ = A or ξ = B, and A ? B is a rank‐1 matrix, is considered. Under suitable constitutive and growth hypotheses on W, it is shown that I_ε Γ‐converge to where K^* is the (constant) interfacial energy per unit area. © 2002 Wiley Periodicals, Inc.     

Ore‐type degree conditions for a graph to be H‐linked

Given a fixed multigraph H with V(H) = {h₁,…, h_m}, we say that a graph G is H‐linked if for every choice of m vertices v₁, …, _vm in G, there exists a subdivision of H in G such that for every i, v_i is the branch vertex representing h_i. This generalizes the notion of k‐linked graphs (as well as some other notions). For a family of graphs, a graph G is ‐linked if G is H‐linked for every . In this article, we estimate the minimum integer r = r(n, k, d) such that each n‐vertex graph with is ‐linked, where is the family of simple graphs with k edges and minimum degree at least . © 2008 Wiley Periodicals, Inc. J Graph Theory 58: 14–26, 2008     

Tauberian theorem for m‐spherical transforms on the Heisenberg group

In this paper we prove a Tauberian type theorem for the space L ( H _n ). This theorem gives sufficient conditions for a L ( H _n ) submodule J ? L ( H _n ) to make up all of L ( H _n ). As a consequence of this theorem, we are able to improve previous results on the Pompeiu problem with moments on the Heisenberg group for the space L^∞( H _n ). In connection with the Pompeiu problem, given the vanishing of integrals ∫ z ^m L _g f ( z , 0) dσ ( z ) = 0 for all g ∈ H _n and i = 1, 2 for appropriate radii r₁ and r₂, we now have the (improved) conclusion f ≡ 0, where = · · · and form the standard basis for T^(0,1)( H _n ). (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Supercritical Branching Brownian Motion and K-P-P Equation In the Critical Speed-Area

If R_t is the position of the rightmost particle at time t in a one dimensional branching brownian motion, whore α is the inverse of the mean life time and m is the mean of the reproduction law. If Z_t denotes the random point measure of particles living at time t, we get in the critical area {c = c₀} The function u(t, x) = P(R_t > x) is studied as a solution of the K-P-P equation for some function f. Conditioned on non-extinction of the spatial tree in the c₀-direction, a limit distribution is obtained and characterized.     

Nonlinear Eigenvalue Problems of Schrödinger Type Admitting Eigenfunctions with Given Spectral Characteristics

The following work is an extension of our recent paper [10]. We still deal with nonlinear eigenvalue problems of the form in a real Hilbert space ℋ︁ with a semi‐bounded self‐adjoint operator A₀, while for every y from a dense subspace X of ℋ︁, B(y ) is a symmetric operator. The left‐hand side is assumed to be related to a certain auxiliary functional ψ, and the associated linear problems are supposed to have non‐empty discrete spectrum (y ∈ X). We reformulate and generalize the topological method presented by the authors in [10] to construct solutions of (∗︁) on a sphere S_R ≔ {y ∈ X | ∥y∥_ℋ︁ = R} whose ψ‐value is the n‐th Ljusternik‐Schnirelman level of ψ| and whose corresponding eigenvalue is the n‐th eigenvalue of the associated linear problem (∗︁∗︁), where R > 0 and n ∈ ℕ are given. In applications, the eigenfunctions thus found share any geometric property enjoyed by an n‐th eigenfunction of a linear problem of the form (∗︁∗︁). We discuss applications to elliptic partial differential equations with radial symmetry.     

Uniqueness Aspects of Semi-Discretized Navier-Stokes Equations

We consider the Navier-Stokes equations on a time interval [0, T) in the weak formulation given by Here we assume ν > 0, G ⊂ ℝ³ open, bounded with C^2,1 boundary, f ∈ L² (0, T, L²), and u₀ ∈ V, where V is the closure of C^∞_0,σ in (H¹₀, ‖∇ ·‖) and (·, ·) denotes the scalar product in L². The above equations for u ∈ L²(0, T, V ∩ H²) with ∂_tu ∈ L² (0, T, L² ) can be semi-discretized with respect to time in different ways. The existence of solutions to the resulting schemes can be shown with the Galerkin method provided the viscous term is not treated fully explicitly. In the case of linear schemes, uniqueness can easily be proven with the Lax-Milgram lemma. However, schemes that are implicit in both factors of the convective term seem to cause difficulties with respect to uniqueness, even for arbitrary small step sizes. (© 2014 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

On (ε,k)‐min‐wise independent permutations

A family of permutations of [n] = {1,2,…,n} is (ε,k)‐min‐wise independent if for every nonempty subset X of at most k elements of [n], and for any x ∈ X, the probability that in a random element π of , π(x) is the minimum element of π(X), deviates from 1/∣X∣ by at most ε/∣X∣. This notion can be defined for the uniform case, when the elements of are picked according to a uniform distribution, or for the more general, biased case, in which the elements of are chosen according to a given distribution D. It is known that this notion is a useful tool for indexing replicated documents on the web. We show that even in the more general, biased case, for all admissible k and ε and all large n, the size of must satisfy as well as This improves the best known previous estimates even for the uniform case. © 2007 Wiley Periodicals, Inc. Random Struct. Alg., 2007     

Higher order multi‐point boundary value problems

We consider the boundary value problem where n ? 2 and m ? 1 are integers, t_j ∈ [0, 1] for j = 1, …, m, and f and g_i, i = 0, …, n ? 1, are continuous. We obtain sufficient conditions for the existence of a solution of the above problem based on the existence of lower and upper solutions. Explicit conditions are also found for the existence of a solution of the problem. The differential equation has dependence on all lower order derivatives of the unknown function, and the boundary conditions cover many multi‐point boundary conditions studied in the literature. Schauder’s fixed point theorem and appropriate Nagumo conditions are employed in the analysis. Examples are given to illustrate the results. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

{2, 3}‐perfect m‐cycle systems are equationally defined for m = 5, 7, 8, 9, and 11 only

An m‐cycle system (S,C) of order n is said to be {2,3}‐perfect provided each pair of vertices is connected by a path of length 2 in an m‐cycle of C and a path of length 3 in an m‐cycle of C. The class of {2,3}‐perfect m‐cycle systems is said to be equationally defined provided, there exists a variety of quasigroups V with the property that a finite quasigroup (Q, , \, /) belongs to V if and only if its multiplicative (Q, ) part can be constructed from a {2,3}‐perfect m‐cycle system using the 2‐construction (a a = a for all a ∈ Q and if a ≠ b, a b = c and b a = d if and only if the m‐cycle (…, d, x, a, b, y, c, …) ∈ C). The object of this paper is to show that the class of {2,3}‐perfect m‐cycle systems cannot be equationally defined for all m ≥ 10, m ≠ 11. This combined with previous results shows that {2, 3}‐perfect m‐cycle systems are equationally defined for m = 5, 7, 8, 9, and 11 only. © 2004 Wiley Periodicals, Inc.     

Sharp estimates for solutions of multi‐bubbles in compact Riemann surfaces

In this paper, we consider a sequence of multibubble solutions u_k of the equation (0.1) where h is a C^2,β positive function in a compact Riemann surface M, and ρ_k is a constant satisfying lim_k→+∞ ρ_k = 8mπ for some positive integer m ≥ 1. We prove among other things that where p_k,j are centers of the bubbles of u_k and λ_k,j are the local maxima of u_k after adding a constant. This yields a uniform bound of solutions as ρ_k converges to 8mπ from below provided that . It generalizes a previous result, due to Ding, Jost, Li, and Wang [18] and Nolasco and Tarantello [31], hich says that any sequence of minimizers u_k is uniformly bounded if ρ_k > 8π and h satisfies for any maximum point p of the sum of 2 log h and the regular part of the Green function, where K is the Gaussian curvature of M. The analytic work of this paper is the first step toward computing the topological degree of ( 0.1 ), which was initiated by Li [24]. © 2002 Wiley Periodicals, Inc.     

A two‐grid method for mixed finite‐element solution of reaction‐diffusion equations

We present a scheme for solving two‐dimensional, nonlinear reaction‐diffusion equations, using a mixed finite‐element method. To linearize the mixed‐method equations, we use a two grid scheme that relegates all the Newton‐like iterations to a grid Δ_H much coarser than the original one Δ_h, with no loss in order of accuracy so long as the mesh sizes obey . The use of a multigrid‐based solver for the indefinite linear systems that arise at each coarse‐grid iteration, as well as for the similar system that arises on the fine grid, allows for even greater efficiency. © 1999 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 15: 317–332, 1999