The limits tag has no usage guidance.

**1**

vote

**1**answer

115 views

### limit and combinatorics

Given $x \in (0,\frac{1}{2})$ and $y \in (0,\frac{1}{2}]$, what is the value of the following limit:
$\lim_{n\rightarrow \infty}\sum_{k=0}^{n}{n \choose k}|x^{n-k}(1-x)^{k}-y^{n-k}(1-y)^{k}|?$
When ...

**-5**

votes

**0**answers

151 views

### Find an example of functions f, g such that limx→0 f(x) and limx→0 g(x) both do not exist, but limx→0 f(x) + g(x) = 1 [closed]

Find an example of functions f, g such that limx→0 f(x) and limx→0 g(x) both do not exist, but limx→0 f(x) + g(x) = 1.

**4**

votes

**0**answers

86 views

### Is this limit of a sequence of sets correct? [closed]

The following calculation of a limit of a sequence of sets according to https://en.wikipedia.org/wiki/Limit_superior_and_limit_inferior has been claimed to be wrong in MSE ...

**4**

votes

**0**answers

146 views

### Chow group over function field and algebraic equivalence

It is known that for smooth projective varieties $X,Y$ over $k=\bar k,$ $$CH^d(X_{k(Y)})=\varinjlim_{U\subset Y\ open}CH^d(X\times_k U)$$
I was wondering whether there was such an equality with ...

**2**

votes

**1**answer

64 views

### Is there a way to find $\limsup$ and $\liminf$ for ergodic processes almost surely?

Let $\{X_k\}$ be an ergodic process. I know that if $f$ is a smooth real valued function then by Birkoff's ergodic theorem, $$\lim_{n\to \infty}\frac{1}{n}\sum_{k=1}^n f(X_k)=\mathbb{E}(f(X_1))\ ...

**1**

vote

**1**answer

80 views

### Limit of largest eigenvalue [closed]

For positive definite matrix, if we increase the dimension to the infinity, is it true that the largest eigenvalue stays bounded from above?
In other words does the following limit exists:
...

**-2**

votes

**1**answer

219 views

### Are limits decidable? Should definitions be decidable? [closed]

This question is about the Turing computability of the $\epsilon-N$ definition of a limit of an infinite sequence $S$. First, a proposition:
There cannot exist a Turing Machine $M$ which, given a ...

**13**

votes

**2**answers

992 views

### Is there a $q$-L'Hospital's Rule?

Let $\binom{n}{j}_q$ be a $q$-binomial coefficient and $(x;q)_n = (1-x)(1-qx)\cdots(1-q^{n-1}x).$
Consider the sum $$f(n,m,r,k)= \sum\limits_{j = 0}^{2n} {( - 1)}^{ j}q^{mj^2+rj}
...

**1**

vote

**0**answers

90 views

### Bound on $g(n+1)/g(n)$ for Landau's function

I have read that for the Landau function $g(n)$ (http://mathworld.wolfram.com/LandausFunction.html), one knows that
$\lim_{n \rightarrow \infty} g(n+1)/g(n) = 1$
(stated, but not proved in "On ...

**0**

votes

**1**answer

41 views

### Convergence of generalized expectation under total variation norm

Consider the space of sub-distributions (i.e. positive measures of variation norm lower than 1) over a discrete subset $S$ of $\mathbb{R}$ (this set is measured by its powerset).
Let $(\mu_n)_n$ be a ...

**4**

votes

**1**answer

117 views

### Relation between dual of nuclear space $(\substack{\text{lim} \\ \leftarrow i} H_i)'$ and $\substack{\text{colim} \\ i \rightarrow } H_i$

Let $\substack{\text{lim} \\ \leftarrow i} H_i$ be a nuclear space, considered as the limit of the codirected diagram $$... \to H_2 \to H_1 \to H_0,$$
with $f_{ji}:H_i \to H_j$ being the trace class ...

**5**

votes

**1**answer

393 views

### Direct limit of compact topological spaces

Let $\{X_n\}_{n\in \mathbb{N}}$ be a direct system of compact topological spaces, meaning that we have morphisms $f_i\colon X_i \to X_{i+1}$ with the necessary compatibility conditions. Is there any ...

**1**

vote

**1**answer

94 views

### Local Uniform Convergence

Suppose $f(x)$ is a positive continuous function on $[0,\infty)$ and that $f(x+u)-f(x)\to 0$ as $x\to\infty$ for every given $u\in[0,\infty)$. Prove that, given any $a>0$, $f(x+u)-f(x)\to 0$, as ...

**5**

votes

**2**answers

233 views

### Combinatorial identity and Fuss-Catalan numbers

I would like to show that
$$
\lim_{N\to\infty}\frac{1}{N^{np+1}}\frac1{p!}\sum_{j=0}^{p-1}(-1)^j\binom{p-1}{j}
\left(\frac{\Gamma(N+p-j)}{\Gamma(N-j)}\right)^{n+1}
=\frac1{np+1}\binom{(n+1)p}{p},
$$
...

**1**

vote

**2**answers

214 views

### compute the limit of a rational function

Suppose I have a rational function defined by ($s$ complex)
$$
f(s)=w^T s(sI-Q)^{-1} v
$$
for nonzero column vectors $w,v$ and a (large) square matrix $Q$. Further assume that $Q$ is singular and that ...

**4**

votes

**0**answers

196 views

### Is it possible to assume that an étale neighborhood is connected?

I am new to étale topology (though I've seen Grothendieck's sites before).
Let $S:=\mathcal{O}^\textrm{sh}_{X,x}$ be the strict local ring of a point $x$ of a scheme $X=\operatorname{Spec}R$ (over a ...

**2**

votes

**2**answers

141 views

### Limiting Ratio of Solutions to Ordinary Differential Equations

I'm trying to find the limit of the ratio of two functions
$ \lim_{t \rightarrow \infty} \frac{f(t)}{g(t)} $ but only have the initial conditions and the differential equations they solve, but the ...

**1**

vote

**1**answer

115 views

### Limit involving modified Bessel Function of the second kind

I'm looking for the following limit
$$\lim_{x\rightarrow 0} \frac{\sqrt{\frac{\text{BesselK}^{(2,0)}(0,x)}{\text{BesselK}(0,x)}}}{\log (x)}$$
I believe the limit is finite, and is near -0.578. ...

**4**

votes

**2**answers

245 views

### Canonical presentation of pro-modules over pro-rings

Let $A = (\dotsc \twoheadrightarrow A_2 \twoheadrightarrow A_1 \twoheadrightarrow A_0)$ be a (commutative) pro-ring with surjective transition maps. Consider the category $\mathcal{M} := \varprojlim_i ...

**6**

votes

**1**answer

686 views

### Probability that a positive integer is the euler phi function of another positive integer

Define $f(n) = |\{m : m\le n, \exists k \text{ s.t. }\phi(k) = m\}|$.
Clearly, $f(n)\le \left\lfloor \frac{n}{2}\right\rfloor + 1$ since $\phi(n)$ is even for all $n > 2$.
Is ...

**9**

votes

**1**answer

330 views

### Do direct limits (filtered colimits) commute with pullbacks, in C*-algebras?

I asked this question already on math.stackexchange, but maybe it is also useful to ask this here, since it was not answered there.
Suppose we have three directed sequences of $C^*$-algebras, say ...

**0**

votes

**2**answers

171 views

### Proof of equidistribution theorem for exponential coefficients

Can anyone provide a proof of the equidistribution theorem using Weyl's criterion for the case of $c*a \,\,\, \text{(mod 1)}$ where $c=2^n: \,\,\, \forall n \in N_0$ for irrational algebraic $a$? The ...

**4**

votes

**2**answers

323 views

### Maximum cardinality of a filtered limit of finite sets

Let $(I,<)$ be a directed, partially ordered set. Consider an inverse system $(S_i)_{i \in I}$ of finite sets, i. e. a functor $S:I^{op}\to \mathbf{FinSet}$. What is the maximum possible ...

**3**

votes

**2**answers

144 views

### finding the limit $\lim_{a\rightarrow \infty} \frac{a^N}{\log a} \int_{0}^\infty \frac{e^{-x}}{(1+ag(x))^N}dx = c$

I am realy stuck in solving the following limit problem.
Can you find any function $g(x)$ by which
$$\lim_{a\rightarrow \infty} \frac{a^N}{\log a} \int_{0}^\infty \frac{e^{-x}}{(1+ag(x))^N}dx = c$$
...

**0**

votes

**1**answer

85 views

### A limit of a sum related to integer lattice and power series

I have the following lemma that I would like to find a source to cite for. Let $L$ be a subset of $\mathbb Z^d_{>0}$. I would like to claim that the limit
$$\lim_{z \to (1,\ldots,1)^-} (\sum_{v ...

**6**

votes

**2**answers

311 views

### Unexpected interaction between limits and colimits

Let $D$ be a limit-complete category. My vague question is: given two diagrams in $D$, what comparisons between them induce a morphism of their limits? I'm especially interested in the case that the ...

**-1**

votes

**1**answer

104 views

### How to compute the limit of skewness function?

The skewness function of a list of values is:
where
$m_k=\sum_{i=1}^N (x_i-u)^k$
$u=E[x]$
The image shows the meaning of this function related to the shape of the distribution of its x values ...

**1**

vote

**4**answers

259 views

### Homology of infinite intersection

If $X_1\supseteq X_2\supseteq \ldots$ is a sequence of "nice" compact spaces, I would like to know whether the natural map from $H_*(\cap X_i)$ to the inverse limit $\lim \, H_*(X_i)$ is surjective. ...

**8**

votes

**1**answer

484 views

### What is $\lim_{n\to\infty} \displaystyle \sum_{k=0}^{\lfloor n/2 \rfloor} \binom{n}{2k}\left(4^{-k}\binom{2k}{k}\right)^{\frac{2n}{\log_2{n}}}\,?$

What is $$\lim_{n\to\infty} \displaystyle \sum_{k=0}^{\lfloor n/2 \rfloor} \binom{n}{2k}\left(4^{-k}\binom{2k}{k}\right)^{\frac{2n}{\log_2{n}}}\,?$$

**17**

votes

**0**answers

220 views

### Finite limits in the category of smooth manifolds?

The category of smooth manifolds does not have all finite limits. However, it does have some limits: it has finite products, it has splittings of idempotents, and it has certain other limits if we ...

**1**

vote

**2**answers

223 views

### Looking for a limit related to the series in a previous post

Can any one show that the following limit?
$$
\lim_{z\rightarrow \infty} \sqrt{z} \: e^{-z}\sum_{k=1}^\infty \frac{z^k}{k! \sqrt{k}} \quad \stackrel{?}{=} \quad\sqrt{2}-1.
$$
If one uses the ...

**1**

vote

**0**answers

77 views

### CLT for a Markov Renewal Process

Suppose $(X,T)=\{(X_n,T_n)\}_{n\geq0}$ is a Markov renewal process, where $X$ is a finite-state, discrete-time Markov chain with state space $\{1,2,...,R\}$. $T$ is the additive component, more ...

**3**

votes

**0**answers

273 views

### Homotopy category of groupoids

The nlab Ho(Cat) page says: morphisms in the homotopy category of groupoids $Ho(Gpd)$, have two equivalent description:
iso-classes of functors.
formally invert equivalence functors (i.e. ...

**1**

vote

**0**answers

119 views

### Berry-Esseen result for triangular arrays

Let $\{\{X_{n1},\ldots,X_{nn}\},n=1,2,\ldots\}$ be a triangular array of independent random variables where each row contains identically distributed random variables. Let $E[X_{n1}]=\mu_n<\infty$ ...

**2**

votes

**1**answer

473 views

### What are the uses of Limits and Colimits of Category Theory in every day problems? [closed]

I am interested in knowing how we can use the concepts of Limits and Colimits in modeling problems in every day life? Could anyone provide (Software) engineering examples, perhaps? Or describe ...

**10**

votes

**1**answer

333 views

### The geometric-mean factorial

Think of the factorial as $f(n) = n \odot (n-1) \odot \cdots \odot 2 \odot 1$,
where $\odot$ is the binary operator for multiplication, $\cdot$. This suggests exploring replacing
$\odot$ with other ...

**4**

votes

**1**answer

184 views

### Extending a Certain Result from Locally Convex Topological Vector Spaces to General Topological Vector Spaces

In this Math Stack Exchange post, I proved the following result.
Theorem: Let $ X $ be a locally convex topological vector space. Let $ x \in X $ and suppose that $ (x_{n})_{n \in \mathbb{N}} $ is ...

**2**

votes

**0**answers

125 views

### Inverting a matrix with entries equal to positive or negative infinity

I would like to define an inverse on matrices whose entries may be positive or negative infinity.
To formulate my problem precisely, suppose that I have a matrix $A$ and another matrix $B$. How do I ...

**7**

votes

**1**answer

253 views

### Is there a practical criterion to determine whether the limit of a diagram of real chain complexes is also a homotopy limit?

Consider a diagram D: I→ChR of real connective chain complexes.
In the example I have in mind all chain complexes are concentrated in some fixed degree n.
There is a canonical map lim D → holim D ...

**1**

vote

**0**answers

107 views

### Limit wiht logarithm and dilogarithm functions [closed]

I'm trying to find out how to calculate the following limit:
$$
\lim_{u\to \infty} \left\{\log(u) \left[\log\left(1 + \frac{2u}{i- 2 t}\right) - \log\left(1 - \frac{2 u}{i + 2 t}\right)\right] +
Li_2 ...

**2**

votes

**0**answers

173 views

### Ends and Coends - Analogues for higher arity - Horn Filling

Consider the setting of categories enriched over a suitable monoidal category $\mathbb V$.
We define $$\mathrm{Dist}(X,Y):=\mathbb V−\mathrm{Cat}(X^ \mathrm{op}⊗Y,\mathbb V).$$
Recall the definition ...

**1**

vote

**3**answers

226 views

### limit of a singular integral

Denote $f_{\gamma}(x) =\frac { (1+\gamma)}{2} |x|^{\gamma}$. We consider:
$$I(\gamma) = \int_{-1}^1\int_{-1}^1 \ln (|x-y|) f_{\gamma}(x) f_{\gamma}(y) dx dy$$
I would like to know the limit of ...

**11**

votes

**1**answer

1k views

### Is $\varliminf_{n \rightarrow +\infty} |n \sin n| = 0$ correct, where $n$ is an integer?

Is it true that $\varliminf_{n \rightarrow +\infty} |n \sin n| = 0$, where $n$
runs over the integers?
The existence of the limes inferior follows from Dirichlet's approximation theorem,
but the ...

**18**

votes

**3**answers

1k views

### Letting $S(m)$ be the digit sum of $m$, then $\lim_{n\to\infty}S(3^n)=\infty$?

For any $m\in\mathbb N$, let $S(m)$ be the digit sum of $m$ in the decimal system.
For example, $S(1234)=1+2+3+4=10, S(2^5)=S(32)=5$.
Question 1 :Is the following true?
...

**1**

vote

**2**answers

231 views

### Asymptotic Expansion of Distribution in Central Limit Theorem for Non-Identically Distributed Random Variables

My question is related to the following theorem (e.g. Section XVI.4 of Feller's 1971 book): Let $Z_i$ $(i=1,\cdots,n)$ be independent and identically distributed random variables with mean zero, ...

**2**

votes

**1**answer

189 views

### Limit involving regularlized gamma function and its inverse

Let
$$L(x)=Q\left(\frac{x}{2},\frac{a}{a+f(x)/\sqrt{x}}Q^{-1}\left(\frac{x}{2},1-b^{1/g(x)}\right)\right)$$
where $Q(s,x)=\frac{\Gamma(s,x)}{\Gamma(s)}$ is the upper incomplete gamma function ...

**3**

votes

**1**answer

195 views

### Limits in span categories

What are the limits in the span categories? and what is known about them in the literature?

**7**

votes

**1**answer

205 views

### Explicit description of the oplax limit of a functor to Cat?

The nCatLab Grothendieck construction page gives an explicit description of the oplax colimit of any functor to Cat. Can someone give me a similarly explicit description (the objects and morphisms) ...

**3**

votes

**1**answer

221 views

### Does Ind-completion commute with finite limits?

The broad and vague question is in the title. The more precise question is:
Say $\{\mathcal{C}_i\}$ is a finite diagram of (essentially small) stable $\infty$-categories and exact functors with ...

**0**

votes

**1**answer

137 views

### Limiting probability question [closed]

Let $X$ denote an $m\times n$ matrix and suppose that each value $x_{ij}$ is an integer that is selected uniformly at random from ${1,\dots,n}$, independently of all other values. If we fix $m$ and ...