Continuous Dependence of Renormalized Solution for Nonlinear Degenerate Parabolic Problems in the Whole Space

We consider the general degenerate parabolic equation: $$u_t - \Delta b(u) + div\ \tilde{F}(u) = f \qquad{\rm in} \ \ Q\ =\ ]0,T[ \, \times \, =\mathbb{R}^N , \ \ T > 0. $$ We suppose that the flux \({\tilde{F}}\) is continuous, b is nondecreasing continuous, and both are not necessarily Lipschitz continuous functions. The well-posedness (existence and uniqueness) of the renormalized solution of the associated Cauchy problem for L ¹ initial data and source term is studied in Maliki and Ouédraigo (Ann. Fac, Sci. Toulouse Math. (6) 17(3):597–611, 2008) under a structure condition \({\tilde{F}(r)=F(b(r))}\) and an assumption on the modulus of continuity of b. In the same framework, our aim is here to establish the continuous dependence of this renormalized solution with respect to the data. The novelty is the fact that we are working in the whole space \({\Omega=\mathbb{R}^{N}}\) with unbounded data (u ₀, f) and b, \({\tilde{F}}\) are not Lipschitz functions.     

Dagger Categories of Tame Relations

Within the context of an involutive monoidal category the notion of a comparison relation ${\textsf{cp} : \overline{X} \otimes X \rightarrow \Omega}$ is identified. Instances are equality = on sets, inequality ${\leq}$ on posets, orthogonality ${\perp}$ on orthomodular lattices, non-empty intersection on powersets, and inner product ${\langle {-}|{-} \rangle}$ on vector or Hilbert spaces. Associated with a collection of such (symmetric) comparison relations a dagger category is defined with “tame” relations as morphisms. Examples include familiar categories in the foundations of quantum mechanics, such as sets with partial injections, or with locally bifinite relations, or with formal distributions between them, or Hilbert spaces with bounded (continuous) linear maps. Of one particular example of such a dagger category of tame relations, involving sets and bifinite multirelations between them, the categorical structure is investigated in some detail. It turns out to involve symmetric monoidal dagger structure, with biproducts, and dagger kernels. This category may form an appropriate universe for discrete quantum computations, just like Hilbert spaces form a universe for continuous computation.     

On the Cauchy–Szegö Kernel for Quaternion Siegel Upper Half-Space

The work is dedicated to the construction of the Cauchy–Szegö kernel for the Cauchy–Szegö projection integral operator from the space of $L^2$ -integrable functions defined on the boundary of the quaternion Siegel upper half-space to the space of boundary values of the quaternion regular functions of the Hardy space over the quaternion Siegel upper half-space.     

Lax type formulas with lower semicontinuous initial data and hypercontractivity results

In Avantaggiati and Loreti [Ric. Mat. 57(2):171–202, 2008] we studied the Cauchy problem for a class of Hamilton–Jacobi equations with initial data verifying the Lipschitz condition. In this paper we extend those results to the case in which the initial data are lower semicontinuous [in the following lsc], and are lower bounded and semiconvex. Here we prove hypercontractivity results and new Logarithm Sobolev Inequalities (shortly, LSI).     

Simple proof of a theorem on removable singularities of analytic functions satisfying a Lipschitz condition

Let E be a compact subset of the complex plane ?, having positive planar Lebesgue measure. Then there exists a nonconstant function f, analytic in the domain ? É, satisfying the Lipschitz condition In this note there is given a simple proof of the theorem of N. X. Uy, formulated above. It is also proved that each bounded measurable function α, defined on the set E, can be revised on a set of small Lebesgue measure so that for the function ? obtained the Cauchy integral satisfies condition (1).     

Fundamentals of Bicomplex Pseudoanalytic Function Theory: Cauchy Integral Formulas, Negative Formal Powers and Schrödinger Equations with Complex Coefficients

The study of the Dirac system and second-order elliptic equations with complex-valued coefficients on the plane naturally leads to bicomplex Vekua-type equations (Campos et al. in Adv Appl Clifford Algebras, 2012; Castañeda et al. in J Phys A Math Gen 38:9207–9219, 2005; Kravchenko in J Phys A Math Gen 39:12407–12425, 2006). To the difference of complex pseudoanalytic (or generalized analytic) functions (Bers in Theory of pseudo-analytic functions. New York University, New York, 1952; Vekua in Generalized analytic functions. Nauka, Moscow (in Russian); English translation Oxford, 1962. Pergamon Press, Oxford, 1959) the theory of bicomplex pseudoanalytic functions has not been developed. Such basic facts as, e.g., the similarity principle or the Liouville theorem in general are no longer available due to the presence of zero divisors in the algebra of bicomplex numbers. In the present work we develop a theory of bicomplex pseudoanalytic formal powers analogous to the developed by Bers (Theory of pseudo-analytic functions. New York University, 1952) and especially that of negative formal powers. Combining the approaches of Bers and Vekua with some additional ideas we obtain the Cauchy integral formula in the bicomplex setting. In the classical complex situation this formula was obtained under the assumption that the involved Cauchy kernel is global, a very restrictive condition taking into account possible practical applications, especially when the equation itself is not defined on the whole plane. We show that the Cauchy integral formula remains valid with the Cauchy kernel from a wider class called here the reproducing Cauchy kernels. We give a complete characterization of this class. To our best knowledge these results are new even for complex Vekua equations. We establish that reproducing Cauchy kernels can be used to obtain a full set of negative formal powers for the corresponding bicomplex Vekua equation and present an algorithm which allows one their construction. Bicomplex Vekua equations of a special form called main Vekua equations are closely related to stationary Schrödinger equations with complex-valued potentials. We use this relation to establish useful connections between the reproducing Cauchy kernels and the fundamental solutions for the Schrödinger operators which allow one to construct the Cauchy kernel when the fundamental solution is known and vice versa. Moreover, using these results we construct the fundamental solutions for the Darboux transformed Schrödinger operators.     

Convergence of approximate solutions to an elliptic–parabolic equation without the structure condition

We study the Cauchy–Dirichlet problem for the elliptic–parabolic equation $$b(u)_t + {\rm div} F(u) - \Delta u = f$$ in a bounded domain. We do not assume the structure condition $$b(z) = b(\hat z) \Rightarrow F(z) = F(\hat z).$$ Our main goal is to investigate the problem of continuous dependence of the solutions on the data of the problem and the question of convergence of discretization methods. As in the work of Ammar and Wittbold (Proc R Soc Edinb 133A(3):477–496, 2003) where existence was established, monotonicity and penalization are the main tools of our study. In the case of a Lipschitz continuous flux F, we justify the uniqueness of u (the uniqueness of b(u) is well-known) and prove the continuous dependence in L ¹ for the case of strongly convergent finite energy data. We also prove convergence of the ${\varepsilon}$ -discretized solutions used in the semigroup approach to the problem; and we prove convergence of a monotone time-implicit finite volume scheme. In the case of a merely continuous flux F, we show that the problem admits a maximal and a minimal solution.     

On distribution of the norm for normal random elements in the space of continuous functions

We consider distributions of norms for normal random elements X in separable Banach spaces, in particular, in the space C(S) of continuous functions on a compact space S. We prove that, under some nondegeneracy condition, the functions $ {{\mathcal{F}}_X}=\left\{ {\mathrm{P}\left( {\left\| {X-z} \right\|\leqslant r} \right):\;z\in C(S)} \right\},\;r\geqslant 0 $ , are uniformly Lipschitz and that every separable Banach space B can be ε-renormed so that the family $ {{\mathcal{F}}_X} $ becomes uniformly Lipschitz in the new norm for any B-valued nondegenerate normal random element X.     

Approximating and learning by Lipschitz kernel on the sphere

This paper investigates some approximation properties and learning rates of Lipschitz kernel on the sphere. A perfect convergence rate on the shifts of Lipschitz kernel on the sphere, which is faster than O（n-1/2）, is obtained, where n is the number of parameters needed in the approximation. By means of the approximation, a learning rate of regularized least square algorithm with the Lipschitz kernel on the sphere is also deduced.     

Globally-biased Disimpl algorithm for expensive global optimization

Direct-type global optimization algorithms often spend an excessive number of function evaluations on problems with many local optima exploring suboptimal local minima, thereby delaying discovery of the global minimum. In this paper, a globally-biased simplicial partition Disimpl algorithm for global optimization of expensive Lipschitz continuous functions with an unknown Lipschitz constant is proposed. A scheme for an adaptive balancing of local and global information during the search is introduced, implemented, experimentally investigated, and compared with the well-known Direct and Direct l methods. Extensive numerical experiments executed on 800 multidimensional multiextremal test functions show a promising performance of the new acceleration technique with respect to competitors.     

Interpolation for a subclass of H ∞

We introduce and characterize two types of interpolating sequences in the unit disc \(\mathbb {D}\) of the complex plane for the class of all functions being the product of two analytic functions in \(\mathbb {D}\) , one bounded and another regular up to the boundary of \(\mathbb {D}\) , concretely in the Lipschitz class, and at least one of them vanishing at some point of \(\overline {\mathbb {D}}\) .     

The generalization of Sokhotski formulas on two complex variables

So called Sokhotski formulas present a jump of the integral of Cauchy type at the contour on the complex planeC [1]. The generalization of Sokhotski formulas on two complex variables is obtained for the contours onC ₁ C ₂ of the same properties as studied before for one complex variable. The integral of Cauchy type for two complex variables is defined by a function satisfying the Lipschitz condition on the contour of integration.     

Approximation of a linear system of second-order differential equations

In a Hilbert space H we consider the approximation by systems $$\frac{{d^2 u_1 }}{{dt^2 }} = A_{11} u_1 + A_{12} u_2 + f_1 ,\varepsilon \frac{{d^2 u_2 }}{{dt^2 }} = A_{21} u_1 + A_{22} u_2 + f_2 ,\varepsilon > 0,$$ of the semievolutionary system obtained from (1) when ∈=0. Under certain conditions on the solutions of the Cauchy problem for system (1) and the existence of a bounded linear operator A ₂₂ ^?1 we establish the convergence of the solutions u^∈(∈ → 0) to a solution of the corresponding problem for system (1) with ∈=0. We also establish the uniform correctness of the Cauchy problem for the above system.     

Composition Operators on the Lipschitz Space of a Tree

The Lipschitz space ${\mathcal{L}}$ of an infinite tree T rooted at o is defined as the space consisting of the functions ${f : T \rightarrow \mathbb{C}}$ such that $$\beta_f = {\rm sup}\{|f(v) - f(v^-)| : v \in T\backslash\{o\}, \,v^- {\rm parent \, of \,} v\}$$ is finite. Under the norm ${\|f\|_\mathcal{L} = |f(o)|+\beta_f,\mathcal{L}}$ is a Banach space. In this article, the functions φ mapping T into itself whose induced composition operator ${C_{\varphi} : f \mapsto f \circ \varphi}$ on the Lipschitz space is bounded, compact, or an isometry, are characterized. Specifically, it is shown that the symbols of the bounded composition operators are the Lipschitz maps of T into itself viewed as a metric space under the edge-counting distance. The symbols inducing compact operators have finite range while those inducing isometries on ${\mathcal{L}}$ are precisely the onto maps fixing the root and whose images of neighboring vertices coincide or are themselves neighboring vertices. Finally, the spectrum of the operators ${C_\varphi}$ that are isometries is studied in detail.     

Convex sweeping process in the framework of measure differential inclusions and evolution variational inequalities

In this paper, we analyze and discuss the well-posedness of two new variants of the so-called sweeping process, introduced by Moreau in the early 70s (Moreau in Sém Anal Convexe Montpellier, 1971) with motivation in plasticity theory. The first new variant is concerned with the perturbation of the normal cone to the moving convex subset \(C(t)\) , supposed to have a bounded variation, by a Lipschitz mapping. Under some assumptions on the data, we show that the perturbed differential measure inclusion has one and only one right continuous solution with bounded variation. The second variant, for which a large analysis is made, concerns a first order sweeping process with velocity in the moving set \(C(t)\) . This class of problems subsumes as a particular case, the evolution variational inequalities [widely used in applied mathematics and unilateral mechanics (Duvaut and Lions in Inequalities in mechanics and physics. Springer, Berlin, 1976]. Assuming that the moving subset \(C(t)\) has a continuous variation for every \(t\in [0,T]\) with \(C(0)\) bounded, we show that the problem has at least a Lipschitz continuous solution. The well-posedness of this class of sweeping process is obtained under the coercivity assumption of the involved operator. We also discuss some applications of the sweeping process to the study of vector hysteresis operators in the elastoplastic model (Krej?? in Eur J Appl Math 2:281–292, 1991), to the planning procedure in mathematical economy (Henry in J Math Anal Appl 41:179–186, 1973 and Cornet in J. Math. Anal. Appl. 96:130–147, 1983), and to nonregular electrical circuits containing nonsmooth electronic devices like diodes (Acary et al. Nonsmooth modeling and simulation for switched circuits. Lecture notes in electrical engineering. Springer, New York 2011). The theoretical results are supported by some numerical simulations to prove the efficiency of the algorithm used in the existence proof. Our methodology is based only on tools from convex analysis. Like other papers in this collection, we show in this presentation how elegant modern convex analysis was influenced by Moreau’s seminal work.     

Third order trace formula

In J. Funct. Anal. 257 (2009) 1092–1132, Dykema and Skripka showed the existence of higher order spectral shift functions when the unperturbed self-adjoint operator is bounded and the perturbation is Hilbert–Schmidt. In this article, we give a different proof for the existence of spectral shift function for the third order when the unperturbed operator is self-adjoint (bounded or unbounded, but bounded below).     

Superposition operators between weighted Banach spaces of analytic functions of controlled growth

We characterize the entire functions which transform a weighted Banach space of holomorphic functions on the disc of type $H^{\infty }$ into another such space by superposition. We also show that all the superposition operators induced by such entire functions map bounded sets into bounded sets and are continuous. Superposition operators that map bounded sets into relatively compact sets are also considered.     

Some Integral Representations and Singular Integral over Plane in Clifford Analysis

In this paper, Cauchy type integral and singular integral over hyper-complex plane \({\prod}\) are considered. By using a special Möbius transform, an equivalent relation between \({\widehat{H}^\mu}\) class functions over \({\prod}\) and \({H^\mu}\) class functions over the unit sphere is shown. For \({\widehat{H}^\mu}\) class functions over \({\prod}\) , we prove the existence of Cauchy type integral and singular integral over \({\prod}\) . Cauchy integral formulas as well as Poisson integral formulas for monogenic functions in upper-half and lower-half space are given respectively. By using Möbius transform again, the relation between the Cauchy type integrals and the singular integrals over \({\prod}\) and unit sphere is built.     

The Eigenfunctions of the Hilbert Matrix

For each noninteger complex number ??, the Hilbert matrix $$H_\lambda= \biggl( \frac{1}{n+m+\lambda} \biggr)_{n,m\geq0}$$ defines a bounded linear operator on the Hardy spaces $\mathcal{H}^{p}$ , 1<p<??, and on the Korenblum spaces $\mathcal{A}^{-\tau}$ , ??>0. In this work, we determine the point spectrum with multiplicities of the Hilbert matrix acting on these spaces. This extends to complex ?? results by Hill and Rosenblum for real ??. We also provide a closed formula for the eigenfunctions. They are in fact closely related to the associated Legendre functions of the first kind. The results will be achieved through the analysis of certain differential operators in the commutator of the Hilbert matrix.