Sobolev–Hardy space with general weight

In this paper, it is defined the kth order Sobolev–Hardy space with norm

Then the corresponding Poincaré inequality in this space is obtained, and the results are given that this space is embedded in with weight and in with weight ^q/2 for 1q<2. Moreover, we prove that the constant of k-improved Hardy–Sobolev inequality with general weight is optimal. These inequalities turn to be some known versions of Hardy–Sobolev inequalities in the literature by some particular choice of weights.     

Asymptotic behavior for the Navier–Stokes equations in 2D exterior domains

We show that the L^p spatial–temporal decay rates of solutions of incompressible flow in an 2D exterior domain. When a domain has a boundary, pressure term makes an obstacle since we do not have enough information on the pressure term near the boundary. To overcome the difficulty, we adopt the ideas in He, Xin [C. He, Z. Xin, Weighted estimates for nonstationary Navier–Stokes equations in exterior domain, Methods Appl. Anal. 7 (3) (2000) 443–458], and our previous results [H.-O. Bae, B.J. Jin, Asymptotic behavior of Stokes solutions in 2D exterior domains, J. Math. Fluid Mech., in press; H.-O. Bae, B.J. Jin, Temporal and spatial decay rates of Navier–Stokes solutions in exterior domains, submitted for publication]. For the spatial decay rate estimate, we first extend temporal decay rate result of the Navier–Stokes solutions for general L^p space when the initial velocity is in , 1<rq<∞ (1<r<q=∞).     

On the least values of -norms for the Kontorovich–Lebedev transform and its convolution

We establish analogs of the Hausdorff–Young and Riesz–Kolmogorov inequalities and the norm estimates for the Kontorovich–Lebedev transformation and the corresponding convolution. These classical inequalities are related to the norms of the Fourier convolution and the Hilbert transform in L_p spaces, 1p∞. Boundedness properties of the Kontorovich–Lebedev transform and its convolution operator are investigated. In certain cases the least values of the norm constants are evaluated. Finally, it is conjectured that the norm of the Kontorovich–Lebedev operator is equal to . It confirms, for instance, by the known Plancherel-type theorem for this transform when p=2.     

Topological complexity is a fibrewise L–S category

Topological complexity of a space B is introduced by M. Farber to measure how much complex the space is, which is first considered on a configuration space of a motion planning of a robot arm. We also consider a stronger version of topological complexity with an additional condition: in a robot motion planning, a motion must be stasis if the initial and the terminal states are the same. Our main goal is to show the equalities and , where d(B)=B×B is a fibrewise pointed space over B whose projection and section are given by the canonical projection to the second factor and the diagonal. In addition, our method in studying fibrewise L–S category is able to treat a fibrewise space with singular fibres.     

A characterization of strongly measurable Kurzweil–Henstock integrable functions and weakly continuous operators

We give necessary and sufficient conditions for the Kurzweil–Henstock integrability of functions given by , where x_n belong to a Banach space and the sets (E_n)_n are measurable and pairwise disjoint. Also weakly completely continuous operators between Banach spaces are characterized by means of scalarly Kurzweil–Henstock integrable functions.     

A new characterization of Bergman–Schatten spaces and a duality result

Let denote the space of all upper triangular matrices A such that lim_r→1⁻(1−r²)(A*C(r))^′_B(ℓ²)=0. We also denote by the closed Banach subspace of consisting of all upper triangular matrices whose diagonals are compact operators. In this paper we give a duality result between and the Bergman–Schatten spaces . We also give a characterization of the more general Bergman–Schatten spaces , 1p<∞, in terms of Taylor coefficients, which is similar to that of M. Mateljevic and M. Pavlovic [M. Mateljevic, M. Pavlovic, L^p-behaviour of the integral means of analytic functions, Studia Math. 77 (1984) 219–237] for classical Bergman spaces.     

Plancherel–Polya-type inequalities for entire functions of exponential type in

The goal of the paper is to prove generalizations of the classical Plancherel–Polya inequalities in which point-wise sampling of functions (δ-distributions) is replaced by more general compactly supported distributions on . As an application it is shown that a function , 1p∞, which is an entire function of exponential type is uniquely determined by a set of numbers {Ψ_j(f)}, , where {Ψ_j}, , is a countable sequence of compactly supported distributions. In the case p=2 a reconstruction method of a Paley–Wiener function f from a sequence of samples {Ψ_j(f)}, , is given. This method is a generalization of the classical result of Duffin–Schaeffer about exponential frames on intervals.     

On complexity of Ehrenfeucht–Fraïssé games

In this paper, we initiate the study of Ehrenfeucht–Fraïssé games for some standard finite structures. Examples of such standard structures are equivalence relations, trees, unary relation structures, Boolean algebras, and some of their natural expansions. The paper concerns the following question that we call the Ehrenfeucht–Fraïssé problem. Given nω as a parameter, and two relational structures and from one of the classes of structures mentioned above, how efficient is it to decide if Duplicator wins the n-round EF game ? We provide algorithms for solving the Ehrenfeucht–Fraïssé problem for the mentioned classes of structures. The running times of all the algorithms are bounded by constants. We obtain the values of these constants as functions of n.     

New exact solutions for the classical Drinfel’d–Sokolov–Wilson equation

In this paper, we investigate the classical Drinfel’d–Sokolov–Wilson equation (DSWE)

where p, q, r, s are some nonzero parameters. Some explicit expressions of solutions for the equation are obtained by using the bifurcation method and qualitative theory of dynamical systems. These solutions contain solitary wave solutions, blow-up solutions, periodic solutions, periodic blow-up solutions and kink-shaped solutions. Some previous results are extended.     

On Henstock–Kurzweil and McShane integrals of Banach space-valued functions

This paper deals with the relation between the McShane integral and the Henstock–Kurzweil integral for the functions mapping a compact interval into a Banach space X and some other questions in connection with the McShane integral and the Henstock–Kurzweil integral of Banach space-valued functions. We prove that if a Banach space-valued function f is Henstock–Kurzweil integrable on I₀ and satisfies Property (P), then I₀ can be written as a countable union of closed sets E_n such that f is McShane integrable on each E_n when X contains no copy of c₀. We further give an answer to the Karták's question.     

Marcinkiewicz–Zygmund inequalities and interpolation by spherical harmonics

We find necessary density conditions for Marcinkiewicz–Zygmund inequalities and interpolation for spaces of spherical harmonics in with respect to the L^p norm. Moreover, we prove that there are no complete interpolation families for p≠2.     

Global well-posedness of Korteweg–de Vries equation in

We prove that the Korteweg–de Vries initial-value problem is globally well-posed in and the modified Korteweg–de Vries initial-value problem is globally well-posed in . The new ingredient is that we use directly the contraction principle to prove local well-posedness for KdV equation in H^−3/4 by constructing some special resolution spaces in order to avoid some ‘logarithmic divergence’ from the high–high interactions. Our local solution has almost the same properties as those for H^s (s>−3/4) solution which enable us to apply the I-method to extend it to a global solution.     

Eigenvalue problems of nonhomogeneous semilinear elliptic equations in Esteban–Lions domains with holes

In this article, we consider the following eigenvalue problems

('∗

λ' render=n">

where λ>0, N2 and is the upper semi-strip domain with a hole in . Under some suitable conditions on f and h, we show that there exists a positive constant λ^* such that Eq. (*)_λ has at least two solutions if λ(0,λ^*), a unique positive solution if λ=λ^*, and no positive solution if λ>λ^*. We also obtain some further properties of the positive solutions of (*)_λ.     

The universal modality, the center of a Heyting algebra, and the Blok–Esakia theorem

We introduce the bimodal logic , which is the extension of Bennett’s bimodal logic by Grzegorczyk’s axiom □(□(p→□p)→p)→p and show that the lattice of normal extensions of the intuitionistic modal logic WS5 is isomorphic to the lattice of normal extensions of , thus generalizing the Blok–Esakia theorem. We also introduce the intuitionistic modal logic WS5.C, which is the extension of WS5 by the axiom (p¬p)→(p→p), and the bimodal logic , which is the extension of Shehtman’s bimodal logic by Grzegorczyk’s axiom, and show that the lattice of normal extensions of WS5.C is isomorphic to the lattice of normal extensions of .     

Inheritance of hyper-duality in imprimitive Bose–Mesner algebras

We prove the following result concerning the inheritance of hyper-duality by block and quotient Bose–Mesner algebras associated with a hyper-dual pair of imprimitive Bose–Mesner algebras. Let and denote Bose–Mesner algebras. Suppose there is a hyper-duality ψ from the subconstituent algebra of with respect to p to the subconstituent algebra of with respect to . Also suppose that is imprimitive with respect to a subset of Hadamard idempotents, so is dual imprimitive with respect to the subset of primitive idempotents, where is the formal duality associated with ψ. Let denote the block Bose–Mesner algebra of on the block containing p, and let denote the quotient Bose–Mesner algebra of with respect to . Then there is a hyper-duality from the subconstituent algebra of with respect to p to the subconstituent algebra of with respect to .     

Normal deviations from the averaged motion for some reaction–diffusion equations with fast oscillating perturbation

We study the normalized difference between the solution u of a reaction–diffusion equation in a bounded interval [0,L], perturbed by a fast oscillating term arising as the solution of a stochastic reaction–diffusion equation with a strong mixing behavior, and the solution of the corresponding averaged equation. We assume the smoothness of the reaction coefficient and we prove that a central limit type theorem holds. Namely, we show that the normalized difference converges weakly in C([0,T];L²(0,L)) to the solution of the linearized equation, where an extra Gaussian term appears. Such a term is explicitly given.     

Gagliardo–Nirenberg inequalities in regular Orlicz spaces involving nonlinear expressions

We consider a triple of N-functions (M,H,J) that satisfy the Δ^′-condition, and suppose that an additive variant of interpolation inequality holds

where , is an arbitrary set invariant with respect to external and internal dilations. We show that the above inequality implies its certain nonlinear variant involving the expressions and . Various generalizations of this inequality to the more general class of N-functions, measures and to higher order derivatives are also discussed and the examples are presented.     

A supplement to the Davis–Gut law

Let {X,X_n;n1} be a sequence of i.i.d. real-valued random variables and set , n1. Let h() be a positive nondecreasing function such that . Define Lt=log_emax{e,t} for t0. In this note we prove that

if and only if E(X)=0 and E(X²)=1, where , t1. When h(t)≡1, this result yields what is called the Davis–Gut law. Specializing our result to h(t)=(Lt)^r, 0<r1, we obtain an analog of the Davis–Gut law.     

Existence and estimates of solutions to a singular Dirichlet problem for the Monge–Ampère equation

Given a strictly convex, smooth, and bounded domain Ω in we establish the existence of a negative convex solution in with zero boundary value to the singular Monge–Ampère equation det(D²u)=p(x)g(−u). An associated Dirichlet problem will be employed to provide a necessary and sufficient condition for the solvability of the singular boundary value problem. Estimates of solutions will also be given and regularity of solutions will be deduced from the estimates.