Pointwise convergence in Pringsheim’s sense of the summability of Fourier transforms on Wiener amalgam spaces

New multi-dimensional Wiener amalgam spaces \(W_c(L_p,\ell _\infty )(\mathbb{R }^d)\) are introduced by taking the usual one-dimensional spaces coordinatewise in each dimension. The strong Hardy-Littlewood maximal function is investigated on these spaces. The pointwise convergence in Pringsheim’s sense of the \(\theta \) -summability of multi-dimensional Fourier transforms is studied. It is proved that if the Fourier transform of \(\theta \) is in a suitable Herz space, then the \(\theta \) -means \(\sigma _T^\theta f\) converge to \(f\) a.e. for all \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) . Note that \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset W_c(L_r,\ell _\infty )(\mathbb{R }^d) \supset L_r(\mathbb{R }^d)\) and \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset L_1(\log L)^{d-1}(\mathbb{R }^d)\) , where \(1 . Moreover, \(\sigma _T^\theta f(x)\) converges to \(f(x)\) at each Lebesgue point of \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) .     

Limit theorems for von Mises statistics of a measure preserving transformation

For a measure preserving transformation \(T\) of a probability space \((X,\mathcal{F },\mu )\) and some \(d \ge 1\) we investigate almost sure and distributional convergence of random variables of the form $$\begin{aligned} x \rightarrow \frac{1}{C_n} \sum _{0\le i_1,\ldots ,\,i_d where \(C_1, C_2,\ldots \) are normalizing constants and the kernel \(f\) belongs to an appropriate subspace in some \(L_p(X^d\!,\, \mathcal{F }^{\otimes d}\!,\,\mu ^d)\) . We establish a form of the individual ergodic theorem for such sequences. Using a filtration compatible with \(T\) and the martingale approximation, we prove a central limit theorem in the non-degenerate case; for a class of canonical (totally degenerate) kernels and \(d=2\) , we also show that the convergence holds in distribution towards a quadratic form \(\sum _{m=1}^{\infty } \lambda _m\eta ^2_m\) in independent standard Gaussian variables \(\eta _1, \eta _2, \ldots \) .     

Optimal initial value conditions for the existence of strong solutions of the Boussinesq equations

Consider the instationary Boussinesq equations in a smooth bounded domain \(\Omega \subseteq \mathbb {R}^3\) with initial values \(u_0 \in L^2_{\sigma }(\Omega )\) , \( \theta _0 \in L^2(\Omega )\) and gravitational force \(g\) . We call \((u,\theta )\) strong solution if \((u,\theta )\) is a weak solution and additionally Serrin’s condition \(u \in L^s(0,T; L^q(\Omega ))\) holds where \( 1 satisfy \(\frac{2}{s} + \frac{3}{q} =1\) . In this paper we show that \(\int _0^{\infty } \Vert e^{-tA} u_0 \Vert _q^s \, dt < \infty \) is necessary and sufficient for the existence of such a strong solution \((u,\theta )\) in a sufficiently small interval \([0,T[\, , 0 < T\le \infty \) . Furthermore we show that strong solutions are uniquely determined and that they are smooth if the data are smooth. The crucial point is the fact that we have required no additional integrability condition for \(\theta \) in the definition of a strong solution \((u,\theta )\) .     

Asymptotics of Landau Constants with Optimal Error Bounds

We study the asymptotic expansion for the Landau constants \(G_n\) , $$\begin{aligned} \pi G_n\sim \ln N + \gamma +4\ln 2 + \sum _{s=1}^\infty \frac{\beta _{2s}}{ N^{2s}},\quad n\rightarrow \infty , \end{aligned}$$ where \(N=n+3/4, \gamma =0.5772\ldots \) is Euler’s constant, and \((-1)^{s+1}\beta _{2s}\) are positive rational numbers, given explicitly in an iterative manner. We show that the error due to truncation is bounded in absolute value by, and of the same sign as, the first neglected term for all nonnegative \(n\) . Consequently, we obtain optimal sharp bounds up to arbitrary orders of the form $$\begin{aligned} \ln N+\gamma +4\ln 2+\sum _{s=1}^{2m}\frac{\beta _{2s}}{N^{2s}}< \pi G_n < \ln N+\gamma +4\ln 2+\sum _{s=1}^{2k-1}\frac{\beta _{2s}}{N^{2s}} \end{aligned}$$ for all \(n=0,1,2,\ldots , m=1,2,\ldots \) , and \(k=1,2,\ldots \) . The results are proved by approximating the coefficients \(\beta _{2s}\) with the Gauss hypergeometric functions involved and by using the second-order difference equation satisfied by \(G_n\) , as well as an integral representation of the constants \(\rho _k=(-1)^{k+1}\beta _{2k}/(2k-1)!\) .     

Measure of Self-Affine Sets and Associated Densities

Let \(B\) be an \(n\times n\) real expanding matrix and \(\mathcal {D}\) be a finite subset of \(\mathbb {R}^n\) with \(0\in \mathcal {D}\) . The self-affine set \(K=K(B,\mathcal {D})\) is the unique compact set satisfying the set-valued equation \(BK=\bigcup _{d\in \mathcal {D}}(K+d)\) . In the case where \(\#\mathcal D=|\det B|,\) we relate the Lebesgue measure of \(K(B,\mathcal {D})\) to the upper Beurling density of the associated measure \(\mu =\lim _{s\rightarrow \infty }\sum _{\ell _0, \ldots ,\ell _{s-1}\in \mathcal {D}}\delta _{\ell _0+B\ell _1+\cdots +B^{s-1}\ell _{s-1}}.\) If, on the other hand, \(\#\mathcal D<|\det B|\) and \(B\) is a similarity matrix, we relate the Hausdorff measure \(\mathcal {H}^s(K)\) , where \(s\) is the similarity dimension of \(K\) , to a corresponding notion of upper density for the measure \(\mu \) .     

Construction of relative difference sets and Hadamard groups

‘There exist normal \((2m,2,2m,m)\) relative difference sets and thus Hadamard groups of order \(4m\) for all \(m\) of the form $$\begin{aligned} m= x2^{a+t+u+w+\delta -\epsilon +1}6^b 9^c 10^d 22^e 26^f \prod _{i=1}^s p_i^{4a_i} \prod _{i=1}^t q_i^2 \prod _{i=1}^u \left( (r_i+1)/2)r_i^{v_i}\right) \prod _{i=1}^w s_i \end{aligned}$$ under the following conditions: \(a,b,c,d,e,f,s,t,u,w\) are nonnegative integers, \(a_1,\ldots ,a_r\) and \(v_1,\ldots ,v_u\) are positive integers, \(p_1,\ldots ,p_s\) are odd primes, \(q_1,\ldots ,q_t\) and \(r_1,\ldots ,r_u\) are prime powers with \(q_i\equiv 1\ (\mathrm{mod}\ 4)\) and \(r_i\equiv 1\ (\mathrm{mod}\ 4)\) for all \(i, s_1,\ldots ,s_w\) are integers with \(1\le s_i \le 33\) or \(s_i\in \{39,43\}\) for all \(i, x\) is a positive integer such that \(2x-1\) or \(4x-1\) is a prime power. Moreover, \(\delta =1\) if \(x>1\) and \(c+s>0, \delta =0\) otherwise, \(\epsilon =1\) if \(x=1, c+s=0\) , and \(t+u+w>0, \epsilon =0\) otherwise. We also obtain some necessary conditions for the existence of \((2m,2,2m,m)\) relative difference sets in partial semidirect products of \(\mathbb{Z }_4\) with abelian groups, and provide a table cases for which \(m\le 100\) and the existence of such relative difference sets is open.     

Uniqueness of weak solution to the generalized magneto-hydrodynamic system

We study uniqueness of weak solution for the generalized incompressible magneto-hydrodynamic (GMHD) system with suitable \(\beta \) , and we prove that the weak solutions are unique in the class \(L^{\frac{2\beta }{2\beta -1+r}}(0,T;B^{r}_{\infty ,\infty })\) with \(r\in (1-2\beta ,1]\) .     

Compactness and sequential completeness in some spaces of operators

Let \(X\) be a completely regular Hausdorff space and \(C_b(X)\) be the Banach lattice of all real-valued bounded continuous functions on \(X\) , endowed with the strict topologies \(\beta _\sigma ,\) \(\beta _\tau \) and \(\beta _t\) . Let \(\mathcal{L}_{\beta _z,\xi }(C_b(X),E)\) \((z=\sigma ,\tau ,t)\) stand for the space of all \((\beta _z,\xi )\) -continuous linear operators from \(C_b(X)\) to a locally convex Hausdorff space \((E,\xi ),\) provided with the topology \(\mathcal{T}_s\) of simple convergence. We characterize relative \(\mathcal{T}_s\) -compactness in \(\mathcal{L}_{\beta _z,\xi }(C_b(X),E)\) in terms of the representing Baire vector measures. It is shown that if \((E,\xi )\) is sequentially complete, then the spaces \((\mathcal{L}_{\beta _z,\xi }(C_b(X),E),\mathcal{T}_s)\) are sequentially complete whenever \(z=\sigma \) ; \(z=\tau \) and \(X\) is paracompact; \(z=t\) and \(X\) is paracompact and ?ech complete. Moreover, a Dieudonné–Grothendieck type theorem for operators on \(C_b(X)\) is given.     

Conical stochastic maximal L^p-regularity for 1\leqslant p<\infty

Let \(A = -\mathrm{div} \,a(\cdot ) \nabla \) be a second order divergence form elliptic operator on \({\mathbb R}^n\) with bounded measurable real-valued coefficients and let \(W\) be a cylindrical Brownian motion in a Hilbert space \(H\) . Our main result implies that the stochastic convolution process $$\begin{aligned} u(t) = \int _0^t e^{-(t-s)A}g(s)\,dW(s), \quad t\geqslant 0, \end{aligned}$$ satisfies, for all \(1\leqslant p<\infty \) , a conical maximal \(L^p\) -regularity estimate $$\begin{aligned} {\mathbb E}\Vert \nabla u \Vert _{ T_2^{p,2}({\mathbb R}_+\times {\mathbb R}^n)}^p \leqslant C_p^p {\mathbb E}\Vert g \Vert _{ T_2^{p,2}({\mathbb R}_+\times {\mathbb R}^n;H)}^p. \end{aligned}$$ Here, \(T_2^{p,2}({\mathbb R}_+\times {\mathbb R}^n)\) and \(T_2^{p,2}({\mathbb R}_+\times {\mathbb R}^n;H)\) are the parabolic tent spaces of real-valued and \(H\) -valued functions, respectively. This contrasts with Krylov’s maximal \(L^p\) -regularity estimate $$\begin{aligned} {\mathbb E}\Vert \nabla u \Vert _{L^p({\mathbb R}_+;L^2({\mathbb R}^n;{\mathbb R}^n))}^p \leqslant C^p {\mathbb E}\Vert g \Vert _{L^p({\mathbb R}_+;L^2({\mathbb R}^n;H))}^p \end{aligned}$$ which is known to hold only for \(2\leqslant p<\infty \) , even when \(A = -\Delta \) and \(H = {\mathbb R}\) . The proof is based on an \(L^2\) -estimate and extrapolation arguments which use the fact that \(A\) satisfies suitable off-diagonal bounds. Our results are applied to obtain conical stochastic maximal \(L^p\) -regularity for a class of nonlinear SPDEs with rough initial data.     

On the rank of incidence matrices in projective Hjelmslev spaces

Let \(R\) be a finite chain ring with \(|R|=q^m\) , \(R/{{\mathrm{Rad}}}R\cong \mathbb {F}_q\) , and let \(\Omega ={{\mathrm{PHG}}}({}_RR^n)\) . Let \(\tau =(\tau _1,\ldots ,\tau _n)\) be an integer sequence satisfying \(m=\tau _1\ge \tau _2\ge \cdots \ge \tau _n\ge 0\) . We consider the incidence matrix of all shape \(\varvec{m}^s=(\underbrace{m,\ldots ,m}_s)\) versus all shape \(\tau \) subspaces of \(\Omega \) with \(\varvec{m}^s\preceq \tau \preceq \varvec{m}^{n-s}\) . We prove that the rank of \(M_{\varvec{m}^s,\tau }(\Omega )\) over \(\mathbb {Q}\) is equal to the number of shape \(\varvec{m}^s\) subspaces. This is a partial analog of Kantor’s result about the rank of the incidence matrix of all \(s\) dimensional versus all \(t\) dimensional subspaces of \({{\mathrm{PG}}}(n,q)\) . We construct an example for shapes \(\sigma \) and \(\tau \) for which the rank of \(M_{\sigma ,\tau }(\Omega )\) is not maximal.     

Nonlinear Schrödinger equations near an infinite well potential

The paper deals with standing wave solutions of the dimensionless nonlinear Schrödinger equation where the potential \(V_\lambda :\mathbb {R}^N\rightarrow \mathbb {R}\) is close to an infinite well potential \(V_\infty :\mathbb {R}^N\rightarrow \mathbb {R}\) , i. e. \(V_\infty =\infty \) on an exterior domain \(\mathbb {R}^N\setminus \Omega \) , \(V_\infty |_\Omega \in L^\infty (\Omega )\) , and \(V_\lambda \rightarrow V_\infty \) as \(\lambda \rightarrow \infty \) in a sense to be made precise. The nonlinearity may be of Gross–Pitaevskii type. A standing wave solution of \((NLS_\lambda )\) with \(\lambda =\infty \) vanishes on \(\mathbb {R}^N\setminus \Omega \) and satisfies Dirichlet boundary conditions, hence it solves We investigate when a standing wave solution \(\Phi _\infty \) of the infinite well potential \((NLS_\infty )\) gives rise to nearby solutions \(\Phi _\lambda \) of the finite well potential \((NLS_\lambda )\) with \(\lambda \gg 1\) large. Considering \((NLS_\infty )\) as a singular limit of \((NLS_\lambda )\) we prove a kind of singular continuation type results.     

On Sharp Aperture-Weighted Estimates for Square Functions

Let \(S_{\alpha ,\psi }(f)\) be the square function defined by means of the cone in \({\mathbb R}^{n+1}_{+}\) of aperture \(\alpha \) , and a standard kernel \(\psi \) . Let \([w]_{A_p}\) denote the \(A_p\) characteristic of the weight \(w\) . We show that for any \(1<p<\infty \) and \(\alpha \ge 1\) , $$\begin{aligned} \Vert S_{\alpha ,\psi }\Vert _{L^p(w)}\lesssim \alpha ^n[w]_{A_p}^{\max \left( \frac{1}{2},\frac{1}{p-1}\right) }. \end{aligned}$$ For each fixed \(\alpha \) the dependence on \([w]_{A_p}\) is sharp. Also, on all class \(A_p\) the result is sharp in \(\alpha \) . Previously this estimate was proved in the case \(\alpha =1\) using the intrinsic square function. However, that approach does not allow to get the above estimate with sharp dependence on \(\alpha \) . Hence we give a different proof suitable for all \(\alpha \ge 1\) and avoiding the notion of the intrinsic square function.     

Systems of variational inequalities in the context of optimal switching problems and operators of Kolmogorov type

In this paper we study the system $$\begin{aligned}&\min \biggl \{-\mathcal H u_i(x,t)-\psi _i(x,t),u_i(x,t)-\max _{j\ne i}(-c_{i,j}(x,t)+u_j(x,t))\biggr \}=0,\\&u_i(x,T)=g_i(x),\ i\in \{1,\ldots ,d\}, \end{aligned}$$ where \((x,t)\in \mathbb R ^{N}\times [0,T]\) . A special case of this type of system of variational inequalities with terminal data occurs in the context of optimal switching problems. We establish a general comparison principle for viscosity sub- and supersolutions to the system under mild regularity, growth, and structural assumptions on the data, i.e., on the operator \(\mathcal H \) and on continuous functions \(\psi _i\) , \(c_{i,j}\) , and \(g_i\) . A key aspect is that we make no sign assumption on the switching costs \(\{c_{i,j}\}\) and that \(c_{i,j}\) is allowed to depend on \(x\) as well as \(t\) . Using the comparison principle, the existence of a unique viscosity solution \((u_1,\ldots ,u_d)\) to the system is constructed as the limit of an increasing sequence of solutions to associated obstacle problems. Having settled the existence and uniqueness, we subsequently focus on regularity of \((u_1,\ldots ,u_d)\) beyond continuity. In this context, in particular, we assume that \(\mathcal H \) belongs to a class of second-order differential operators of Kolmogorov type of the form: $$\begin{aligned} \mathcal H =\sum _{i,j=1}^m a_{i,j}(x,t)\partial _{x_i x_j}+\sum _{i=1}^m a_i(x,t)\partial _{x_i} +\sum _{i,j=1}^N b_{i,j}x_i\partial _{x_j}+\partial _t, \end{aligned}$$ where \(1\le m\le N\) . The matrix \(\{a_{i,j}(x,t)\}_{i,j=1,\ldots ,m}\) is assumed to be symmetric and uniformly positive definite in \(\mathbb R ^m\) . In particular, uniform ellipticity is only assumed in the first \(m\) coordinate directions, and hence, \(\mathcal H \) may be degenerate.     

Square Function Characterization of Weak Hardy Spaces

We obtain a new square function characterization of the weak Hardy space \(H^{p,\infty }\) for all \(p\in (0,\infty )\) . This space consists of all tempered distributions whose smooth maximal function lies in weak \(L^p\) . Our proof is based on interpolation between \(H^p\) spaces. The main difficulty we overcome is the lack of a good dense subspace of \(H^{p,\infty }\) which forces us to work with general \(H^{p,\infty }\) distributions.     

Occupation Times of Refracted Lévy Processes

A refracted Lévy process is a Lévy process whose dynamics change by subtracting off a fixed linear drift (of suitable size) whenever the aggregate process is above a pre-specified level. More precisely, whenever it exists, a refracted Lévy process is described by the unique strong solution to the stochastic differential equation $$\begin{aligned} {\mathrm{d}}U_t=-\delta \mathbf 1 _{\{U_t>b\}}{\mathrm{d}}t +{\mathrm{d}}X_t,\quad t\ge 0 \end{aligned}$$ where \(X=(X_t, t\ge 0)\) is a Lévy process with law \(\mathbb{P }\) and \(b,\delta \in \mathbb{R }\) such that the resulting process \(U\) may visit the half line \((b,\infty )\) with positive probability. In this paper, we consider the case that \(X\) is spectrally negative and establish a number of identities for the following functionals $$\begin{aligned} \int \limits _0^\infty \mathbf 1 _{\{U_t where \(\kappa ^+_c=\inf \{t\ge 0: U_t> c\}\) and \(\kappa ^-_a=\inf \{t\ge 0: U_t< a\}\) for \(a . Our identities extend recent results of Landriault et al. (Stoch Process Appl 121:2629–2641, 2011) and bear relevance to Parisian-type financial instruments and insurance scenarios.     

On the Action of Riesz Transforms on the Class of Bounded Functions

The paper is devoted to the \(d\) -dimensional extension of the classical identity of Stein and Weiss concerning the action of the Hilbert transform on characteristic functions. Let \((R_j)_{j=1}^d\) be the collection of Riesz transforms in \(\mathbb{R }^d\) . For \(1\le p<\infty \) , we determine the least constants \(c_{p,d}, C_{p,d}\) such that $$\begin{aligned} \int _{\mathbb{R }^d} f(x)|R_jf(x)|^p\text{ d }x&\le c_{p,d} ||f||_{L^1(\mathbb{R }^d)},\\ \int _{\mathbb{R }^d} (1-f(x))|R_jf(x)|^p\text{ d }x&\le C_{p,d} ||f||_{L^1(\mathbb{R }^d)} \end{aligned}$$ for any Borel function \(f:\mathbb{R }^d\rightarrow [0,1]\) . The proof rests on probabilistic methods and the construction of appropriate harmonic functions on \([0,1]\times \mathbb{R }\) .     

The rearrangement-invariant space \Gamma _{p,\phi }

Fix \(b\in \mathbb R _+\) and \(p\in (1,\infty )\) . Let \(\phi \) be a positive measurable function on \(I_b:=(0,b)\) . Define the Lorentz Gamma norm, \(\rho _{p,\phi }\) , at the measurable function \(f:\mathbb R _+\rightarrow \mathbb R _+\) by \(\rho _{{}_{p,\phi }}(f):=\left[ \int _0^bf^{**}(t)^p\phi (t)\,dt\right] ^{\frac{1}{p}}\) , in which \(f^{**}(t):=t^{-1}\int _0^tf^{*}(s)\,ds\) , where \(f^*(t):=\mu _f^{-1}(t)\) , with \(\mu _f(s):=|\{ x\in I_b: |f(x)|>s\}|\) . Our aim in this paper is to study the rearrangement-invariant space determined by \(\rho _{{}_{p,\phi }}\) . In particular, we determine its Köthe dual and its Boyd indices. Using the latter a sufficient condition is given for a Caldéron–Zygmund operator to map such a space into itself.     

Non-coincidence of quenched and annealed connective constants on the supercritical planar percolation cluster

In this paper, we study the abundance of self-avoiding paths of a given length on a supercritical percolation cluster on \(\mathbb{Z }^d\) . More precisely, we count \(Z_N\) , the number of self-avoiding paths of length \(N\) on the infinite cluster starting from the origin (which we condition to be in the cluster). We are interested in estimating the upper growth rate of \(Z_N\) , \(\limsup _{N\rightarrow \infty } Z_N^{1/N}\) , which we call the connective constant of the dilute lattice. After proving that this connective constant is a.s. non-random, we focus on the two-dimensional case and show that for every percolation parameter \(p\in (1/2,1)\) , almost surely, \(Z_N\) grows exponentially slower than its expected value. In other words, we prove that \(\limsup _{N\rightarrow \infty } (Z_N)^{1/N}{<}\lim _{N\rightarrow \infty } \mathbb{E }[Z_N]^{1/N}\) , where the expectation is taken with respect to the percolation process. This result can be considered as a first mathematical attempt to understand the influence of disorder for self-avoiding walks on a (quenched) dilute lattice. Our method, which combines change of measure and coarse graining arguments, does not rely on the specifics of percolation on \(\mathbb{Z }^2\) , so our result can be extended to a large family of two-dimensional models including general self-avoiding walks in a random environment.     

Semiclassical limits of ground state solutions to Schrödinger systems

This paper is concerned with the existence and concentration properties of the ground state solutions to the following coupled Schrödinger systems $$\begin{aligned} \left\{ \begin{array}{l} -\varepsilon ^2\varDelta u+u+V(x)v=W(x)G_{v}(z)~\hbox { in }\ {\mathbb {R}}^N,\\ -\varepsilon ^2\varDelta v+v+V(x)u=W(x)G_{u}(z)~\hbox {in } \ {\mathbb {R}}^N,\\ u(x)\rightarrow 0\ \hbox {and }v(x)\rightarrow 0\ \hbox {as } \ |x|\rightarrow \infty , \end{array} \right. \end{aligned}$$ and $$\begin{aligned} \left\{ \begin{array}{l} -\varepsilon ^2\varDelta u+u+V(x)v=W(x)(G_{v}(z)+|z|^{2^*-2}v)~\hbox {in } \ {\mathbb {R}}^N,\\ -\varepsilon ^2\varDelta v+v+V(x)u=W(x)(G_{u}(z)+|z|^{2^*-2}u)~\hbox {in } \ {\mathbb {R}}^N,\\ u(x)\rightarrow 0\ \hbox {and }v(x)\rightarrow 0\ \hbox {as } \ |x|\rightarrow \infty , \end{array} \right. \end{aligned}$$ where \(z=(u,v)\in {\mathbb {R}}^2\) , \(G\) is a power type nonlinearity, having superquadratic growth at both \(0\) and infinity but subcritical, \(V\) can be sign-changing and \(\inf W>0\) . We prove the existence, exponential decay, \(H^2\) -convergence and concentration phenomena of the ground state solutions for small \(\varepsilon >0\) .     

Classical limit of the tensor product of holomorphic discrete series representations

For three coadjoint orbits \(\mathcal {O}_1, \mathcal {O}_2\) and \(\mathcal {O}_3\) in \(\mathfrak {g}^*\) , the Corwin–Greenleaf function \(n(\mathcal {O}_1 \times \mathcal {O}_2, \mathcal {O}_3)\) is given by the number of \(G\) -orbits in \(\{(\lambda , \mu ) \in \mathcal {O}_1 \times \mathcal {O}_2 \, : \, \lambda + \mu \in \mathcal {O}_3 \}\) under the diagonal action. In the case where \(G\) is a simple Lie group of Hermitian type, we give an explicit formula of \(n(\mathcal {O}_1 \times \mathcal {O}_2, \mathcal {O}_3)\) for coadjoint orbits \(\mathcal {O}_1\) and \(\mathcal {O}_2\) that meet \(\left( [\mathfrak {k}, \mathfrak {k}] + \mathfrak {p}\right) ^{\perp }\) , and show that the formula is regarded as the ‘classical limit’ of a special case of Kobayashi’s multiplicity-free theorem (Progr. Math. 2007) in the branching law to symmetric pairs.