Implicit function theorem without a priori assumptions about normality

The equation F(x, σ) = 0,x ∈ K, in which σ is a parameter and x is an unknown taking values in a given convex cone in a Banach space X, is considered. This equation is examined in a neighborhood of a given solution (x _*, σ_*) for which the Robinson regularity condition may be violated. Under the assumption that the 2-regularity condition (defined in the paper), which is much weaker than the Robinson regularity condition, is satisfied, an implicit function theorem is obtained for this equation. This result is a generalization of the known implicit function theorems even for the case when the cone K coincides with the entire space X.     

Numerical experiments on the condition number of the interpolation matrices for radial basis functions

Through numerical experiments, we examine the condition numbers of the interpolation matrix for many species of radial basis functions (RBFs), mostly on uniform grids. For most RBF species that give infinite order accuracy when interpolating smooth f(x)—Gaussians, sech's and Inverse Quadratics—the condition number κ(α,N) rapidly asymptotes to a limit κasymp(α) that is independent of N and depends only on α, the inverse width relative to the grid spacing. Multiquadrics are an exception in that the condition number for fixed α grows as N². For all four, there is growth proportional to an exponential of 1/α (1/α² for Gaussians). For splines and thin-plate splines, which contain no width parameter, the condition numbers grows asymptotically as a power of N—a large power as the order of the RBF increases. Random grids typically increase the condition number (for fixed RBF width) by orders of magnitude. The quasi-random, low discrepancy Halton grid may, however, have a lower condition number than a uniform grid of the same size.     

The group marriage problem

Let G be a permutation group acting on [n]={1,…,n} and V={Vi:i=1,…,n} be a system of n subsets of [n]. When is there an element g∈G so that g(i)∈Vi for each i∈[n]? If such a g exists, we say that G has a G-marriage subject to V. An obvious necessary condition is the orbit condition: for any nonempty subset Y of [n], there is an element g∈G such that the image of Y under g is contained in _?y∈YVy. Keevash observed that the orbit condition is sufficient when G is the symmetric group Sn; this is in fact equivalent to the celebrated Hall's Marriage Theorem. We prove that the orbit condition is sufficient if and only if G is a direct product of symmetric groups. We extend the notion of orbit condition to that of k-orbit condition and prove that if G is the cyclic group Cn where n?4 or G acts 2-transitively on [n], then G satisfies the (n−1)-orbit condition subject to V if and only if G has a G-marriage subject to V.     

Fixed point theorems for multivalued nonexpansive mappings satisfying inwardness conditions

Let X be a Banach space whose characteristic of noncompact convexity is less than 1 and satisfies the nonstrict Opial condition. Let C be a bounded closed convex subset of X, KC(X) the family of all compact convex subsets of X and T a nonexpansive mapping from C into KC(X) with bounded range. We prove that T has a fixed point. The nonstrict Opial condition can be removed if, in addition, T is an 1-χ-contractive mapping.     

Error estimates of the finite element method for the exterior Helmholtz problem with a modified DtN boundary condition

A priori error estimates in the H¹- and L²-norms are established for the finite element method applied to the exterior Helmholtz problem, with modified Dirichlet-to-Neumann (MDtN) boundary condition. The error estimates include the effect of truncation of the MDtN boundary condition as well as that of discretization of the finite element method. The error estimate in the L²-norm is sharper than that obtained by the author [D. Koyama, Error estimates of the DtN finite element method for the exterior Helmholtz problem, J. Comput. Appl. Math. 200 (1) (2007) 21-31] for the truncated DtN boundary condition.     

On single-matrix graph-directed iterated function systems

We study graph-directed function systems where each contraction in the system has the form fe(x)=A−1(x+de), where A is an expanding matrix. We show that a certain discreteness implies the open set condition, and the latter implies the strong open set condition. Hausdorff measures and dimensions (w.r.t. a weak norm) of the invariant sets are investigated. The stationary Markov measures of the system are proved to be translation invariant.     

Construction and regularity of transition functions on polish spaces under measurability conditions

This paper concerns the construction and regularity of a transition (probability) function of a non-homogeneous continuous-time Markov process with given transition rates and a general state space. Motivating from a lot of restriction in applications of a transition function with continuous (in t≥0) and conservative transition rates q(t, x, Λ), we consider the case that q(t,x,Λ) are only required to satisfy a mild measurability (in t≥0) condition, which is a generalization of the continuity condition. Under the measurability condition we construct a transition function with the given transition rates, provide a necessary and sufficient condition for it to be regular, and further obtain some interesting additional results.     

The local dimensions of some Moran measures with open set condition

Dai and Liu obtained the formula of local dimensions of some Moran measures on Moran sets in R^d under the strong separation condition. In this paper, we prove that the result is still true under the open set condition. Due to the lack of the strong separation condition, our approach is essentially different to that used by Dai and Liu. We also obtain the formulas of the Hausdorff and packing dimensions of the Moran measures and discuss some interesting examples.     

Existence,uniqueness and approximation for <Emphasis Type="Italic">L</Emphasis><Superscript>p</Superscript> solutions of reflected BSDEs with generators of one-sided Osgood type

We prove several existence and uniqueness results for L ^p (p > 1) solutions of reflected BSDEs with continuous barriers and generators satisfying a one-sided Osgood condition together with a general growth condition in y and a uniform continuity condition or a linear growth condition in z. A necessary and sufficient condition with respect to the growth of barrier is also explored to ensure the existence of a solution. And, we show that the solutions may be approximated by the penalization method and by some sequences of solutions of reflected BSDEs. These results are obtained due to the development of those existing ideas and methods together with the application of new ideas and techniques, and they unify and improve some known works.     

Layered stable equilibria of a reaction-diffusion equation with nonlinear Neumann boundary condition

In this work we investigate the existence and asymptotic profile of a family of layered stable stationary solutions to the scalar equation ut=ε²Δu+f(u) in a smooth bounded domain Ω⊂R³ under the boundary condition εν_∂u=δεg(u). It is assumed that Ω has a cross-section which locally minimizes area and limε→0εlnδε=κ, with 0?κ<∞ and δε>1 when κ=0. The functions f and g are of bistable type and do not necessarily have the same zeros what makes the asymptotic geometric profile of the solutions on the boundary to be different from the one in the interior.     

Nano boundary layer equation with nonlinear Navier boundary condition

At the micro and nano scale the standard no slip boundary condition of classical fluid mechanics does not apply and must be replaced by a boundary condition that allows some degree of tangential slip. In this study the classical laminar boundary layer equations are studied using Lie symmetries with the no-slip boundary condition replaced by a nonlinear Navier boundary condition. This boundary condition contains an arbitrary index parameter, denoted by n>0, which appears in the coefficients of the ordinary differential equation to be solved. The case of a boundary layer formed in a convergent channel with a sink, which corresponds to n=1/2, is solved analytically. Another analytical but non-unique solution is found corresponding to the value n=1/3, while other values of n for n>1/2 correspond to the boundary layer formed in the flow past a wedge and are solved numerically. It is found that for fixed slip length the velocity components are reduced in magnitude as n increases, while for fixed n the velocity components are increased in magnitude as the slip length is increased.     

Estimates of solutions of impulsive parabolic equations under Neumann boundary condition

In this paper, we prove the relation v(t)?u(t,x)?w(t), where u(t,x) is the solution of an impulsive parabolic equations under Neumann boundary condition ∂u(t,x)/∂ν=0, and v(t) and w(t) are solutions of two impulsive ordinary equations. We also apply these estimates to investigate the asymptotic behavior of a model in the population dynamics, and it is shown that there exists a unique solution of the model which converges to the periodic solution of an impulsive ordinary equation asymptotically.     

Quantization dimension of probability measures supported on Cantor-like sets

Let μ be an arbitrary probability measure supported on a Cantor-like set E with bounded distortion. We establish a relationship between the quantization dimension of μ and its mass distribution on cylinder sets under a hereditary condition. As an application, we determine the quantization dimensions of probability measures supported on E which have explicit mass distributions on cylinder sets provided that the hereditary condition is satisfied.     

Hele-Shaw type problems with dynamical boundary conditions

In this paper, we study the nonlinear evolution equation of Hele-Shaw type with dynamical boundary conditions. That is, the equation ut=Δw+f where u∈H(w) and H is the Heaviside function, with boundary condition μ(x,w)t_∂w+k∇w⋅ν=g, where ν denotes the outward normal vector of the fixed boundary of the domain. We prove existence, uniqueness and some qualitative properties of the solution.     

Topological dynamics for multidimensional perturbations of maps with covering relations and Liapunov condition

In this paper, we study topological dynamics of high-dimensional systems which are perturbed from a continuous map on Rm×Rk of the form (f(x),g(x,y)). Assume that f has covering relations determined by a transition matrix A. If g is locally trapping, we show that any small C⁰ perturbed system has a compact positively invariant set restricted to which the system is topologically semi-conjugate to the one-sided subshift of finite type induced by A. In addition, if the covering relations satisfy a strong Liapunov condition and g is a contraction, we show that any small C¹ perturbed homeomorphism has a compact invariant set restricted to which the system is topologically conjugate to the two-sided subshift of finite type induced by A. Some other results about multidimensional perturbations of f are also obtained. The strong Liapunov condition for covering relations is adapted with modification from the cone condition in Zgliczyński (2009) [11]. Our results extend those in Juang et al. (2008) [1], Li et al. (2008) [2], Li and Malkin (2006) [3], Misiurewicz and Zgliczyński (2001) [4] by considering a larger class of maps f and their multidimensional perturbations, and by concluding conjugacy rather than entropy. Our results are applicable to both the logistic and Hénon families.     

Self-similar fractals: An algorithmic point of view

This paper studies the self-similar fractals with overlaps from an algorithmic point of view.A decidable problem is a question such that there is an algorithm to answer"yes"or"no"to the question for every possible input.For a classical class of self-similar sets{E b.d}b,d where E b.d=Sn i=1(E b,d/d+b i)with b=(b1,...,b n)∈Qn and d∈N∩[n,∞),we prove that the following problems on the class are decidable:To test if the Hausdorff dimension of a given self-similar set is equal to its similarity dimension,and to test if a given self-similar set satisfies the open set condition(or the strong separation condition).In fact,based on graph algorithm,there are polynomial time algorithms for the above decidable problem.     

Localization and tensorization properties of the curvature-dimension condition for metric measure spaces

This paper is devoted to the analysis of metric measure spaces satisfying locally the curvature-dimension condition CD(K,N) introduced by the second author and also studied by Lott & Villani. We prove that the local version of CD(K,N) is equivalent to a global condition CD^∗(K,N), slightly weaker than the (usual, global) curvature-dimension condition. This so-called reduced curvature-dimension condition CD^∗(K,N) has the local-to-global property. We also prove the tensorization property for CD^∗(K,N). As an application we conclude that the fundamental group π₁(M,x₀) of a metric measure space (M,d,m) is finite whenever it satisfies locally the curvature-dimension condition CD(K,N) with positive K and finite N.     

Multidimensional BSDEs with weak monotonicity and general growth generators

This paper aims at solving a multidimensional backward stochastic differential equation （BSDE） whose generator g satisfies a weak monotonicity condition and a general growth condition in y. We first establish an existence and uniqueness result of solutions for this kind of BSDEs by using systematically the technique of the priori estimation, the convolution approach, the iteration, the truncation and the Bihari inequality. Then, we overview some assumptions related closely to the monotonieity condition in the literature and compare them in an effective way, which yields that our existence and uniqueness result really and truly unifies the Mao condition in y and the monotonieity condition with the general growth condition in y, and it generalizes some known results. Finally, we prove a stability theorem and a comparison theorem for this kind of BSDEs, which also improves some known results.     

Minimal condition number for positive definite Hankel matrices using semidefinite programming

We present a semidefinite programming approach for computing optimally conditioned positive definite Hankel matrices of order n. Unlike previous approaches, our method is guaranteed to find an optimally conditioned positive definite Hankel matrix within any desired tolerance. Since the condition number of such matrices grows exponentially with n, this is a very good test problem for checking the numerical accuracy of semidefinite programming solvers. Our tests show that semidefinite programming solvers using fixed double precision arithmetic are not able to solve problems with n>30. Moreover, the accuracy of the results for 24?n?30 is questionable. In order to accurately compute minimal condition number positive definite Hankel matrices of higher order, we use a Mathematica 6.0 implementation of the SDPHA solver that performs the numerical calculations in arbitrary precision arithmetic. By using this code, we have validated the results obtained by standard codes for n?24, and we have found optimally conditioned positive definite Hankel matrices up to n=100.     

Nonlinearity and nontrivial solutions of fourth order semilinear elliptic equations

We consider the existence of nontrivial solutions of a fourth order semilinear elliptic boundary value problem with Dirichlet boundary condition, Δ²u+cΔu=b₁[(u+1)⁺−1]+b₂u⁺ in Ω, where Ω is a bounded open set in R^N with smooth boundary ∂Ω. The variation of linking theorem is useful to investigate them. We investigate them in six regions of (b₁,b₂) when λ₁<c<λ₂.