CounterexampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedprecheck pendingverified 2026-10-23 (gpt-6.1-sol)

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Spin-sensitive velocity-gradient stress violates objectivity

Physical scope

Smooth Newtonian spatial kinematics used to test a tensor-valued constitutive response under time-dependent rigid observer changes. The candidate law is not asserted to be an admissible or empirically realized fluid stress.

Statement refuted

For every smooth velocity field $u : I \times R^{3} \to R^{3}$ and every constant dynamic-viscosity coefficient $μ > 0$ in Pa s, the candidate tensor response $τ = μ L$ , where $L_{i j} = \partial_{j} u_{i}$ , is objective under every $C^{2}$ rigid observer change $t^{*} = t, x^{*} = Q (t) x + c (t)$ . Here objectivity requires the responses at corresponding events to satisfy $τ^{*} (t, x^{*}) = Q (t) τ (t, x) Q (t)^{T}$ , with $τ^{*} = μ L^{*}$ computed from the transformed velocity.

Statement references

MIT OpenCourseWare 8.09, full lecture notes, §1.1 (inertial and rotating observers)

David Tong, Fluid Mechanics, Part II, §§3.1–3.1.1 (stress tensor and Newtonian rate-of-strain models)

Facts & Assumptions

Given: The stated tensor transformation criterion, the velocity-gradient convention $L_{i j} = \partial_{j} u_{i}$ , and the stated observer transformation.

[F1]

Classical frames, primitive quantities and SI units: a rigid observer has $x^{*} = Q (t) x + c (t)$ with $Q (t) \in S O (3)$ ; spatial tensor components must transform by $S^{*} = Q S Q^{T}$ for an objective response. The velocity-gradient components are $L_{i j} = \partial_{j} u_{i}$ , and $μ$ has units Pa s.

[F2]

Rigid observer calculus and objective strain rate: let $I$ be a nonempty open interval, $U \subseteq R^{3}$ open, and $χ \in C^{2} (I \times U, R^{3})$ have bijective slices onto open images, $C^{2}$ slice inverses and positive Jacobian. For its induced velocity $u (t, χ (t, a)) = \partial_{t} χ (t, a)$ , and $Q \in C^{2} (I, S O (3))$ , $c \in C^{2} (I, R^{3})$ , the transformed motion $χ^{*} = Q χ + c$ induces $u^{*} (t, x^{*}) = Q^{'} (t) x + Q (t) u (t, x) + c^{'} (t)$ at corresponding points, and $L^{*} = Q L Q^{T} + Q^{'} Q^{T}$ . This remains a draft mathematical supplier used as a mathematical premise.

[F3]

$R$ and $R^{n}$ for $n \geq 1$ with the Euclidean metric are complete, componentwise from the Cauchy criterion in $R$ and Cauchy-Schwarz $∣ ⟨ x, y ⟩ ∣ \leq ∥ x ∥_{2} ∥ y ∥_{2}$ with its equality case, the triangle inequality for $∥ \cdot ∥_{2}$ , the parallelogram law and polarisation: Euclidean $R^{3}$ is a Banach space, and rowwise Cauchy–Schwarz gives $∣ M x ∣_{2}^{2} \leq (\sum_{i, j} M_{i j}^{2}) ∣ x ∣_{2}^{2}$ , so every real $3 \times 3$ matrix is a bounded linear operator. The exponential series of a bounded operator: for such a matrix $M$ , the series $\exp (t M) = \sum_{n = 0}^{\infty} t^{n} M^{n} / n!$ converges in operator norm and is $C^{\infty}$ in $t$ , with $\exp (0 M) = I_{3}$ , $\exp ((s + t) M) = \exp (s M) \exp (t M)$ and $\frac{d}{d t} \exp (t M) = M \exp (t M) = \exp (t M) M$ .

Counterexample

Given: Choose a nonzero constant skew-symmetric matrix $Ω \in R^{3 \times 3}$ , with units s $^{- 1}$ , and the smooth rigid-rotation field $u (t, x) = Ω x$ . Let $μ > 0$ be constant.

1.1F1F2F3givenalgebra

Work on $I = R$ and $U = R^{3}$ . By [F3], define $R (t) = \exp (t Ω)$ and $Q (t) = R (- t)$ . They are $C^{\infty}$ , $Q^{'} = - Ω Q = - Q Ω$ , and $R Q = Q R = I_{3}$ . Transpose the convergent series term by term: transposition is continuous in operator norm since each entry obeys $∣ N_{i j} ∣ \leq ∥ N ∥_{o p}$ and [F3] gives $∥ N^{T} ∥_{o p} \leq 3 ∥ N ∥_{o p}$ . As $Ω^{T} = - Ω$ , this yields $R^{T} = Q$ . Thus $R, Q$ are orthogonal; their continuous determinants lie in ${- 1, 1}$ and equal $1$ at zero, so connectedness of $R$ makes them $1$ everywhere. Define $χ (t, a) = R (t) a$ . This is $C^{2}$ , each slice is a bijection of $U$ onto $R^{3}$ with $C^{2}$ inverse $x \mapsto Q (t) x$ , $J = \det R = 1 > 0$ , and $χ (0, a) = a$ . Moreover $\partial_{t} χ = Ω R (t) a = u (t, χ (t, a))$ , so this motion induces the stated velocity and satisfies every motion hypothesis of [F2]. By [F1], $L = Ω$ and $τ = μ Ω \neq 0$ .

2.1F2step 1.1algebra

Take the rigid observer $x^{*} = Q (t) x$ , $c = 0$ . By [F2], its velocity is $u^{*} = Q u + Q^{'} x = Q Ω x - Ω Q x = 0$ , because $Q Ω = Ω Q$ . Thus $L^{*} = 0$ and the same candidate law gives $τ^{*} = 0$ .

3.1F1step 1.1step 2.1algebra∎

Objectivity from [F1] would instead require $τ^{*} = Q τ Q^{T} = μ Q Ω Q^{T} = μ Ω \neq 0$ , since $Q$ commutes with $Ω$ . This contradicts step 2.1, so the candidate $τ = μ L$ is not objective. The example tests a tensor law and makes no claim that it satisfies a separate angular-momentum or empirical admissibility condition.

Spin-sensitive velocity-gradient stress violates objectivity

Statement refuted

Statement references

Facts & Assumptions

Counterexample

Depends on

Dependency tree · 2 levels

Sources