FRAME-BOUND
MECHANICS
ELEN
← Μαθηματική εμβάθυνση της FBM
ΑΥΤΟΤΕΛΗΣ ΜΕΛΕΤΗ · EXT-01C

Πότε μια νέα εξέταση προσθέτει ανεξάρτητη πληροφορία;

Από τις επιτρεπτές μεταβολές στο κριτήριο rank: μοναδικός προσδιορισμός βαρών, ανεπίλυτες κατευθύνσεις και όρια της ανάκτησης.

Κριτήριο rank · Απόδειξη και παραδείγματαΜελέτη ιστοτόπου · 5 Νοεμβρίου 2026Panagiotis Salikopoulos

01Το ερώτημα μετά τις 01A και 01B

Μια πρόσθετη καταγραφή είναι πληροφοριακά χρήσιμη όταν περιορίζει τους αγνώστους με μια σχέση που δεν περιέχεται ήδη στις προηγούμενες. Στη δηλωμένη οικογένεια αυτής της μελέτης, οι περιορισμοί και οι συναρτήσεις αλληλεπίδρασης είναι γνωστοί· ζητούμενο είναι τα σταθερά θετικά βάρη τους.

Η 01A εξετάζει την ανάκτηση με πρόσθετη γνωστή αντίδραση. Η 01B εξετάζει την αρχική θέση και την απόκριση σε γνωστό φορτίο, μαζί με το περιθώριο διατήρησης της απαιτούμενης admissibility class. Η 01C αναπτύσσει ένα κριτήριο ανεξαρτησίας των σχέσεων για τους συγκεκριμένους αγνώστους.

Η δομή καθορίζει τις επιτρεπτές μεταβολές και, μέσω αυτών, τις σχέσεις που μπορούμε να αντλήσουμε από τις ισορροπίες.

Η ανεξαρτησία εδώ είναι αλγεβρική. Δεν σημαίνει στατιστική ανεξαρτησία, ανεξάρτητο εργαστήριο ή πιστοποίηση της πραγματικής διάταξης. Μια επανάληψη μπορεί να βελτιώσει την εκτίμηση της μεταβλητότητας χωρίς να προσθέτει νέα ανεξάρτητη εξίσωση.

Πηγή: EXT-01C, §1 και §5, σελίδες PDF 1 και 6–8.

02Η δηλωμένη οικογένεια

Θεωρούμε γνωστό frame, συντεταγμένες, μονάδες και επιτρεπτό σύνολο:

𝒜={q∈ℝn:Aq=bCq≤d}rankA=m<n\mathcal A=\{q\in\mathbb R^n:Aq=b,\ Cq\le d\},\qquad \operatorname{rank}A=m<n.

Οι συναρτήσεις φ1, …, φp είναι γνωστές, διαφορίσιμες και κυρτές σε κατάλληλη κυρτή περιοχή που περιέχει την 𝒜. Τα p ≥ 1 βάρη είναι άγνωστα, αυστηρά θετικά και κοινά σε όλες τις εξετάσεις. Για κάθε εξέταση j το γενικευμένο φορτίο fj είναι γνωστό και βαθμονομημένο:

w∈(0,∞)pΨw,j(q)=∑i=1pwiφi(q)−fjTqw\in(0,\infty)^p,\qquad \Psi_{w,j}(q)=\sum_{i=1}^p w_i\phi_i(q)-f_j^{\mathsf T}q.

Κάθε θετικά σταθμισμένο άθροισμα υποτίθεται αυστηρά κυρτό πάνω στην 𝒜. Τα δεδομένα είναι ακριβείς, πλήρεις θέσεις ισορροπίας qj, με όλες τις δηλωμένες ανισότητες αυστηρά μη δεσμευτικές:

Aqj=b,Cqj<dj=1,…,NAq_j=b,\qquad Cq_j<d,\qquad j=1,\ldots,N.

Υποθέτουμε ότι υπάρχει τουλάχιστον ένα θετικό διάνυσμα βαρών που εξηγεί όλες τις ισορροπίες μέσω αυτής της ελαχιστοποίησης. Οι προϋποθέσεις ορίζουν την ειδική οικογένεια του αποτελέσματος. Δεν αποτελούν καθολικές παραδοχές για όλα τα συστήματα της FBM.

Πηγή: §2, σελίδες PDF 2–3.

03Από τους περιορισμούς στις διαθέσιμες σχέσεις

Έστω Z πίνακας του οποίου οι στήλες αποτελούν βάση του ker A. Οι επιτρεπτές μικρές μεταβολές στις συγκεκριμένες εσωτερικές θέσεις γράφονται:

Z∈ℝn×(n−m)δq=ZξZ\in\mathbb R^{n\times(n-m)},\qquad \delta q=Z\xi.

Ο Z περιγράφει τις κατευθύνσεις που επιτρέπει η constraint structure. Η προβολή που χρησιμοποιείται εδώ για τη στασιμότητα δεν είναι η απεικόνιση παρατήρησης της FBM. Επειδή οι ανισότητες παραμένουν αυστηρά μη δεσμευτικές, μικρές μεταβολές και προς τις δύο κατευθύνσεις του ker A είναι επιτρεπτές. Στην ισορροπία:

ZT(∑i=1pwi∇φi(qj)−fj)=0Z^{\mathsf T}\left(\sum_{i=1}^p w_i\nabla\phi_i(q_j)-f_j\right)=0.

Ορίζουμε έναν πίνακα και ένα διάνυσμα για κάθε εξέταση και συγκεντρώνουμε τις σχέσεις:

Bj=[ZT∇φ1(qj)⋯ZT∇φp(qj)]βj=ZTfjB_j=\begin{bmatrix}Z^{\mathsf T}\nabla\phi_1(q_j)&\cdots&Z^{\mathsf T}\nabla\phi_p(q_j)\end{bmatrix},\qquad \beta_j=Z^{\mathsf T}f_j.
B=[B1⋮BN],β=[β1⋮βN]Bw=βB=\begin{bmatrix}B_1\\ \vdots\\ B_N\end{bmatrix},\qquad \beta=\begin{bmatrix}\beta_1\\ \vdots\\ \beta_N\end{bmatrix},\qquad Bw=\beta.

Η σειρά κατασκευής έχει σημασία: δηλωμένοι περιορισμοί, επιτρεπτές μεταβολές, σχέσεις ισορροπίας, εξισώσεις για τα βάρη. Το rank αξιολογεί αυτόν τον δομικά παραγόμενο πίνακα.

Πηγή: §3, σελίδες PDF 3–4.

04EXT-01C-1 · Το κριτήριο μοναδικού προσδιορισμού

Θεώρημα EXT-01C-1. Υπό τις προϋποθέσεις της δηλωμένης οικογένειας και με τουλάχιστον μία θετική συμβατή λύση, τα p βάρη προσδιορίζονται μοναδικά από τα δηλωμένα δεδομένα αν και μόνο αν:

rankB=p\operatorname{rank}B=p.

Η ύπαρξη θετικής συμβατής λύσης είναι ουσιώδης. Το πλήρες rank μόνο του δεν αποδεικνύει ότι οι εξισώσεις είναι συνεπείς ή ότι η λύση είναι θετική.

Το συμπέρασμα αφορά τα βάρη μέσα στη γνωστή οικογένεια. Η μοναδική λύση δεν αποδεικνύει ότι οι επιλεγμένοι περιορισμοί και οι συναρτήσεις αποτελούν τη σωστή περιγραφή ενός πραγματικού μηχανικού αντικειμένου.

Πηγή: §4, σελίδες PDF 4–6· §9, σελίδες PDF 12–13.

05Γιατί το κριτήριο είναι αναγκαίο και ικανό

Επάρκεια. Αν ο B έχει πλήρη βαθμό στηλών, το Bw = β έχει το πολύ μία λύση. Η υπόθεση θετικής συμβατότητας εξασφαλίζει ότι η λύση υπάρχει και ανήκει στη δηλωμένη οικογένεια.

Αναγκαιότητα. Αν rank B < p, υπάρχει μη μηδενικό z στον πυρήνα του B. Για μια θετική συμβατή λύση w* και αρκετά μικρό |t|:

w(t)=w*+tz>0Bw(t)=βw(t)=w^*+tz>0,\qquad Bw(t)=\beta.

Απομένει να δείξουμε ότι οι λύσεις αυτές παράγουν πράγματι τις ίδιες ισορροπίες. Από την projected stationarity και επειδή κάθε διαφορά q − qj μεταξύ επιτρεπτών θέσεων ανήκει στο ker A:

∇Ψw(t),j(qj)T(q−qj)=0∀q∈𝒜\nabla\Psi_{w(t),j}(q_j)^{\mathsf T}(q-q_j)=0\qquad\text{for every }q\in\mathcal A.

Η κυρτότητα δίνει:

Ψw(t),j(q)≥Ψw(t),j(qj)+∇Ψw(t),j(qj)T(q−qj)=Ψw(t),j(qj)\Psi_{w(t),j}(q)\ge\Psi_{w(t),j}(q_j)+\nabla\Psi_{w(t),j}(q_j)^{\mathsf T}(q-q_j)=\Psi_{w(t),j}(q_j).

Άρα το qj είναι global constrained minimum για κάθε τέτοιο w(t), και η αυστηρή κυρτότητα το καθιστά μοναδικό. Διαφορετικά θετικά βάρη εξηγούν τις ίδιες καταγεγραμμένες ισορροπίες. Η ασάφεια επομένως αφορά τις πραγματώσεις του δηλωμένου μοντέλου και όχι μόνο ένα βοηθητικό σύστημα εξισώσεων.

Πηγή: §4, σελίδες PDF 4–6.

06Τι παραμένει αδιάκριτο

Το σύνολο συμβατών βαρών είναι:

𝒲data={w>0:Bw=β}\mathcal W_{\mathrm{data}}=\{w>0:Bw=\beta\}.

Κοντά σε κάθε θετική συμβατή λύση, η διάστασή του είναι p − rank B. Μετρά τις ανεπίλυτες κατευθύνσεις μεταβολής των συντελεστών, όχι τον αριθμό διαφορετικών regimes.

Αν όλα τα φορτία είναι μηδενικά, η ύπαρξη μη μηδενικού θετικού w* με Bw* = 0 αποκλείει το πλήρες rank. Η ίδια ασάφεια εμφανίζεται απευθείας στο functional:

Ψcw=cΨwarg min𝒜Ψcw=arg min𝒜Ψwc>0\Psi_{cw}=c\Psi_w,\qquad \arg\min_{\mathcal A}\Psi_{cw}=\arg\min_{\mathcal A}\Psi_w,\qquad c>0.

Αν μια πρόσθετη γνωστή κανονικοποίηση, όπως άθροισμα βαρών ίσο με 1, αποτελεί μέρος του μοντέλου, πρέπει να ενταχθεί ρητά στις σχέσεις. Τότε αλλάζει το σύνολο των ανεξάρτητων αγνώστων.

Πηγή: §4, σελίδα PDF 6· §6, σελίδες PDF 8–9.

07Οι διαδρομές των 01A και 01B

Στο παράδειγμα με u + v = 2, u, v ≥ 0 και αυστηρά θετικές εσωτερικές συντεταγμένες:

φ1(u,v)=12u2φ2(u,v)=12v2Z=[1−1]\phi_1(u,v)=\frac12u^2,\qquad \phi_2(u,v)=\frac12v^2,\qquad Z=\begin{bmatrix}1\\-1\end{bmatrix}.

Χωρίς φορτίο, μια αρχική ισορροπία δίνει μόνο μία ανεξάρτητη σχέση:

[u0−v0]w=0w1w2=v0u0\begin{bmatrix}u_0&-v_0\end{bmatrix}w=0,\qquad \frac{w_1}{w_2}=\frac{v_0}{u_0}.

Στην 01B προστίθεται γνωστό φορτίο με όρο −rv. Η δεύτερη εσωτερική ισορροπία και η μετατόπιση Δ δίνουν:

B=[u0−v0ur−vr]β=[0−r]Δ=u0−ur=vr−v0Δ=rw1+w2B=\begin{bmatrix}u_0&-v_0\\u_r&-v_r\end{bmatrix},\qquad \beta=\begin{bmatrix}0\\-r\end{bmatrix},\qquad \Delta=u_0-u_r=v_r-v_0=\frac{r}{w_1+w_2}.
detB=−2Δw1=rv02Δ,w2=ru02Δ\det B=-2\Delta,\qquad w_1=\frac{rv_0}{2\Delta},\qquad w_2=\frac{ru_0}{2\Delta}.

Για r > 0 και διατήρηση της εσωτερικής λύσης, η νέα σχέση αφαιρεί την αμφισημία της κοινής κλίμακας.

Στην 01A, η γνωστή αντίδραση ρ0, με την καθορισμένη σύμβαση προσήμου και κανονικοποίηση του περιορισμού, δίνει διαφορετικό σύστημα πληροφοριών:

[u000v0]w=[ρ0ρ0]\begin{bmatrix}u_0&0\\0&v_0\end{bmatrix}w=\begin{bmatrix}\rho_0\\\rho_0\end{bmatrix}.

Αυτός ο πίνακας έχει rank 2 όταν u0, v0 > 0. Οι μετρημένες αντιδράσεις είναι πρόσθετες παρατηρήσεις: δεν περιλαμβάνονται αυτόματα στον B της §3, ο οποίος προκύπτει αφού εξαλειφθούν οι αντιδράσεις των ισοτικών περιορισμών. Οι δύο διαδρομές μοιράζονται τη λογική της ανεξαρτησίας των σχέσεων, με διαφορετικό δηλωμένο περιεχόμενο δεδομένων.

Πηγή: §5, σελίδες PDF 6–8. Η διάκριση των δύο συστημάτων πληροφοριών αποσαφηνίζεται εδώ.

08Ένα υπολογισμένο παράδειγμα

Για την παρουσίαση επιλέγουμε w1 = 3, w2 = 1 και r = 1, στις δηλωμένες συνεπείς μονάδες του ιδεατού μοντέλου. Το παράδειγμα είναι διδακτικός υπολογισμός από τις εξισώσεις της πηγής, όχι μέτρηση. Το περιθώριο 0 < r < 2w2 ικανοποιείται.

Η αρχική και η διαταραγμένη θέση είναι:

(u0,v0)=(12,32)(ur,vr)=(14,74)Δ=14(u_0,v_0)=\left(\frac12,\frac32\right),\qquad(u_r,v_r)=\left(\frac14,\frac74\right),\qquad\Delta=\frac14.
B=[12−3214−74]detB=−12,β=[0−1]B=\begin{bmatrix}\frac12&-\frac32\\[2pt]\frac14&-\frac74\end{bmatrix},\qquad\det B=-\frac12,\qquad\beta=\begin{bmatrix}0\\-1\end{bmatrix}.

Οι τύποι ανάκτησης επιστρέφουν ακριβώς w1 = 3 και w2 = 1. Η πρώτη γραμμή δίνει w1 = 3w2 και η δεύτερη καθορίζει w2 = 1.

Η επανάληψη μόνο της αρχικής θέσης θα επαναλάμβανε τη γραμμή (1/2, −3/2), διατηρώντας rank 1. Η πρόσθετη πληροφορία προέρχεται από τη διαφορετική, γνωστή φόρτιση και την απόκρισή της μέσα στην ίδια απαιτούμενη admissibility class.

Πρόσθετος διδακτικός υπολογισμός της μελέτης του ιστοτόπου, από τις σχέσεις της §5, σελίδες PDF 6–7.

09Διαφορετική οργάνωση περιορισμών

Θεωρούμε τώρα νέο admissible set: u = v = q, με q ∈ ℝ και χωρίς unilateral όρια. Τα u, v ≥ 0 της προηγούμενης περίπτωσης δεν μεταφέρονται εδώ. Η κατασκευή περιγράφει δύο ιδεατά γραμμικά ελαστικά κανάλια με κοινή παραμόρφωση, για f ∈ ℝ:

Ψf(u,v)=12w1u2+12w2v2−fuu=v=qq*=fw1+w2\Psi_f(u,v)=\frac12w_1u^2+\frac12w_2v^2-fu,\qquad u=v=q,\qquad q^*=\frac{f}{w_1+w_2}.

Κάθε εξέταση παράγει γραμμή (qj, qj). Οι δύο στήλες παραμένουν ίδιες, όσο κι αν αυξηθεί ο αριθμός φορτίων. Ένα μη μηδενικό γνωστό φορτίο και η αντίστοιχη θέση προσδιορίζουν το άθροισμα των βαρών, όχι την κατανομή του:

w1+w2=fq*rankB≤1w_1+w_2=\frac{f}{q^*},\qquad\operatorname{rank}B\le1.

Τα ζεύγη (3, 1) και (2, 2) παράγουν την ίδια σχέση q* = f/4 για όλα τα φορτία αυτής της οικογένειας. Για f = 4 προκύπτει q* = 1 και στις δύο περιπτώσεις.

Δηλωμένη σχέση και πληροφορίαΤι προσδιορίζεταιΤι παραμένει άγνωστο
u + v = 2, αρχική άφορτη ισορροπίαΑναλογία βαρώνΚοινή κλίμακα
u + v = 2, αρχική θέση και απόκριση σε γνωστό φορτίο, υπό τις εσωτερικές προϋποθέσειςΚαι τα δύο βάρηΚαμία αμφισημία βαρών μέσα στην οικογένεια
u = v, συνολικό μη μηδενικό φορτίο και κοινή παραμόρφωσηΆθροισμα βαρώνΚατανομή μεταξύ καναλιών

Η αλλαγή της constraint relation αλλάζει τις επιτρεπτές μεταβολές και τις πληροφοριακά διαθέσιμες σχέσεις. Η ανακτήσιμη πληροφορία εξαρτάται από αυτή τη δομική οργάνωση. Η ερμηνεία των ελαστικών καναλιών παραμένει ιδεατή και δεν αποδίδεται σε συγκεκριμένο αρθρωτήρα ή σε ήδη ελεγμένη bench διάταξη.

Πηγή: §7, σελίδες PDF 9–11.

10Μοναδικότητα, διατήρηση και ακρίβεια

Το πλήρες rank αφορά ακριβή δεδομένα που ήδη ικανοποιούν τις υποθέσεις. Η απόκτηση αυτών των δεδομένων χωρίς έξοδο από την απαιτούμενη κλάση παραμένει χωριστό ερώτημα. Στο παράδειγμα της 01B, το εσωτερικό περιθώριο είναι 0 < r < 2w2· η άγνωστη τιμή του w2 εμποδίζει τη μετατροπή αυτού του σημειακού ορίου σε κοινή επιλογή εξέτασης χωρίς πρόσθετη πληροφορία.

Η μοναδικότητα δεν εξασφαλίζει μικρή ευαισθησία σε σφάλμα. Θέτοντας s = w1 + w2 και θεωρώντας το r ακριβώς γνωστό, αν το μόνο σφάλμα του ακόλουθου υπολογισμού αφορά τη μετατόπιση:

Δ~=Δ+e|e|≤ε<Δs^=rΔ~\widetilde\Delta=\Delta+e,\qquad|e|\le\varepsilon<\Delta,\qquad\widehat s=\frac{r}{\widetilde\Delta}.
|s^−s|s=|e||Δ+e|≤εΔ−ε\frac{|\widehat s-s|}{s}=\frac{|e|}{|\Delta+e|}\le\frac{\varepsilon}{\Delta-\varepsilon}.

Το όριο αφορά την εκτίμηση του αθροίσματος στο συγκεκριμένο μοντέλο σφάλματος. Δεν είναι γενικό όριο για κάθε συντελεστή ή για σφάλματα σε όλα τα δεδομένα. Καθώς η απόκριση γίνεται μικρή σε σχέση με την αβεβαιότητα, η ανάκτηση επιβαρύνεται, παρότι το ακριβές rank μπορεί να παραμένει πλήρες.

Σε δεσμευμένο μονομερές όριο οι υποθέσεις της παρούσας απόδειξης παύουν να ισχύουν και απαιτείται κατάλληλη ανάλυση ενεργών περιορισμών και συμπληρωματικότητας. Η EXT-01D αποτελεί την επόμενη ερευνητική πηγή αυτής της διαδρομής.

Πηγή: §8, σελίδες PDF 11–12.

11Θεμελίωση, Re-audit και αυτοτελής εμβάθυνση

Η constrained admissibility και το interaction functional αποτελούν το θεωρητικό υπόβαθρο. Η ακριβής γραμμική εξάρτηση από άγνωστα θετικά βάρη, οι συνθήκες κυρτότητας, οι γνωστές φορτίσεις και το κριτήριο rank είναι η δηλωμένη ανάπτυξη της 01C. Το νέο αποτέλεσμα δεν αποδίδεται αναδρομικά στην ιστορική μονογραφία.

Στη συνέχεια του Re-audit διατηρούμε χωριστά την κανονικοποίηση του constraint και των multipliers, την αριθμητική μεταβολή βαρών, την dominance class και την πλήρη ταυτότητα regime. Ο προσδιορισμός των βαρών δεν αρκεί για να ταυτοποιήσει όλες αυτές τις έννοιες ή για να επικυρώσει το μοντέλο σε πραγματικό αντικείμενο.

Η γεωμετρική θέση έχει σαφή ρόλο ως δεδομένο μέσα στη δηλωμένη δομή. Η ικανότητά της να διακρίνει αγνώστους εξετάζεται από τις σχέσεις που επιτρέπει αυτή η δομή.

Πηγή: εισαγωγή, §2, §5 και §9, ιδίως σελίδα PDF 13.

12Πηγές και διαδρομές μελέτης

FBM-EXT-01C — Ανεξάρτητη δομική πληροφορία και μοναδικός προσδιορισμός των βαρών.

Ερευνητική πηγή PDF, 13 σελίδες. Η παρούσα δίγλωσση μελέτη του ιστοτόπου συντάχθηκε στις . Διατηρεί τις υποθέσεις και την εμβέλεια της πηγής, αναπτύσσει τα βήματα της απόδειξης και προσθέτει το διδακτικό αριθμητικό παράδειγμα της §8. Το αρχικό PDF παραμένει αμετάβλητο και διατηρεί τη δική του ταυτότητα.

Άνοιγμα της ερευνητικής πηγής ↗
Τμήμα μελέτηςΑκριβής θέση στην πηγή
Ανεξάρτητη πληροφορία§1, σελίδα PDF 1
Οικογένεια και προϋποθέσεις§2, σελίδες PDF 2–3
Projected stationarity και πίνακας§3, σελίδες PDF 3–4
Θεώρημα, απόδειξη και συμβατά βάρη§4, σελίδες PDF 4–6
Σχέση με 01A και 01B§5, σελίδες PDF 6–8
Κοινή κλίμακα§6, σελίδες PDF 8–9
Κοινή παραμόρφωση§7, σελίδες PDF 9–11
Διατήρηση και σφάλμα§8, σελίδες PDF 11–12
Εύρος του συμπεράσματος§9, σελίδες PDF 12–13

Οι εντοπισμοί αναφέρονται στη σειρά σελίδων του PDF. Η αγγλική εκδοχή αποδίδει την ίδια ανάπτυξη με τον ίδιο συμβολισμό και τις ίδιες εξισώσεις.